Nicholas Cameron
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2008–2012
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ECOOP | Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. | Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron |
| 2011 | OOPSLA | Cloning in ownership. | Paley Li, Nicholas Cameron, James Noble |
| 2010 | ECOOP | Towards a semantic model for Java wildcards. | Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou |
| 2010 | OOPSLA | Tribal ownership. | Nicholas Cameron, James Noble, Tobias Wrigstad |
| 2009 | ECOOP | On subtyping, wildcards, and existential types. | Nicholas Cameron, Sophia Drossopoulou |
| 2009 | ESOP | Existential Quantification for Variant Ownership. | Nicholas Cameron, Sophia Drossopoulou |
| 2008 | ECOOP | A Model for Java with Wildcards. | Nicholas Cameron, Sophia Drossopoulou, Erik Ernst |