Publications Database

Please note: Only publications up to 2015 are displayed here.

Title Authored by Parent Document Year Location
Understanding Ownership Types with Dependent Types Dr Nicholas Robert Cameron, Sophia Drossopoulou, Prof James Noble Aliasing in Object- Oriented Systems ¿ Types, Analysis, Verification, LNCS 7850 2013
Encoding Featherweight Java with Assignment and Immutability using Coq Proof Assistant J MacKay, Hannes Mehnert, Dr Alex Potanin, A/Prof Lindsay John Groves, Dr Nicholas Robert Cameron Formal Techniques for Java-like Programs (FTfJP) 2012
Encoding Ownership Types in Java Dr Nicholas Robert Cameron, Prof James Noble Object-Oriented Langauges and Systems (TOOLS 48) 2010
Tribal Ownership Dr Nicholas Robert Cameron, Prof James Noble, Tobias Wrigstad Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) 2010
Existential Quantification for Variant Ownership Dr Nicholas Robert Cameron, Sophia Drossopoulou 18th European Symposium on Programming (ESOP) 2009
Comparing Universes and Existential Ownership Types Dr Nicholas Robert Cameron, Werner Dietl International Workshop on Aliasing, Confinement, and Ownership (IWACO) 2009
On Subtyping, Wildcards, and Existential Types Dr Nicholas Robert Cameron, Sophia Drossopoulou Proceedings of the ECOOP Workshop on Formal Techniques for Java Programs (FTfJP) 2009
OGJ Gone Wild Dr Nicholas Robert Cameron, Prof James Noble International Workshop on Aliasing, Confinement, and Ownership in Object-Oriented Programming (IWACO), ECOOP 2009 2009
Multiple ownership Dr Nicholas R Cameron, Sophia Drossopoulou, Prof James Noble, Matthew J Smith Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, Oct 21-25, 2007, Montreal, Quebec, Canada 2007

Total results: 9

Key:
View in Digital Repository Download from the Victoria University digital repository