Nicholas Cameron

According to our database, Nicholas Cameron authored at least 17 papers between 2007 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

TiDB: A Raft-based HTAP Database.

Dongxu Huang, Qi Liu, Qiu Cui, Zhuhe Fang, Xiaoyu Ma, Fei Xu, Li Shen, Liu Tang, Yuxing Zhou, Menglong Huang, Wan Wei, Cong Liu, Jian Zhang, Jianjun Li, Xuelian Wu, Lingyu Song, Ruoxi Sun, Shuaipeng Yu, Lei Zhao, Nicholas Cameron, Liquan Pei, Xin Tang

Proc. VLDB Endow., 2020

2013

Understanding Ownership Types with Dependent Types.

Nicholas Cameron, Sophia Drossopoulou, James Noble

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

2012

Encoding Featherweight Java with assignment and immutability using the Coq proof assistant.

Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

2011

Cloning in ownership.

Paley Li, Nicholas Cameron, James Noble

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

OOPSLA day 1.

Nicholas Cameron

J. Object Technol., 2010

Dynamic Languages Symposium (DLS).

Nicholas Cameron

J. Object Technol., 2010

OOPSLA FOOL Workshop.

Nicholas Cameron

J. Object Technol., 2010

First Impressions of Reno and OOPSLA/SPLASH.

Nicholas Cameron

J. Object Technol., 2010

Encoding Ownership Types in Java.

Nicholas Cameron, James Noble

Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

GoHotDraw: evaluating the Go programming language with design patterns.

Frank Schmager, Nicholas Cameron, James Noble

Proceedings of the 2nd ACM SIGPLAN Workshop on Evaluation and Usability of Programming Languages and Tools, 2010

Tribal ownership.

Nicholas Cameron, James Noble, Tobias Wrigstad

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Towards a semantic model for Java wildcards.

Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009

Existential Types for Variance - Java Wildcards and Ownership Types.

Nicholas Robert Cameron

PhD thesis, 2009

Existential Quantification for Variant Ownership.

Nicholas Cameron, Sophia Drossopoulou

Proceedings of the Programming Languages and Systems, 2009

On subtyping, wildcards, and existential types.

Nicholas Cameron, Sophia Drossopoulou

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

2008

A Model for Java with Wildcards.

Nicholas Cameron, Sophia Drossopoulou, Erik Ernst

Proceedings of the ECOOP 2008, 2008

2007

Multiple ownership.

Nicholas Robert Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007