Publications
-
Robert Atkey. Syntax For Free: Representing Syntax with Binding using Parametricity.
In Typed Lambda Calculi and Applications, TLCA 2009, volume 5608 of Lecture Notes in Computer Science, pages 35-49. Springer, 2009.
Download PDF. -
Robert Atkey. Algebras for Parameterised Monads.
In 3rd Conference on Algebra and Coalgebra in Computer Science, CALCO 2009, volume 5728 of Lecture Notes in Computer Science, pages 3-17. Springer 2009.
Download PDF. -
Robert Atkey, Sam Lindley and Jeremy Yallop. Unembedding Domain-Specific languages.
ACM SIGPLAN 2009 Haskell Symposium. 3rd September 2009.
Download PDF. -
Robert Atkey. A Deep Embedding of Parametric Polymorphism in Coq.
Workshop on Mechanizing Metatheory. 2009.
Download PDF. -
Robert Atkey. Amortised Resource Analysis with Separation Logic.
In Proceedings of ESOP 2010: 19th European Symposium on Programming, volume 6012 of Lecture Notes in Computer Science. Springer 2010.
Download PDF. -
David Aspinall, Robert Atkey, Kenneth MacKenzie and Don Sannella. Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.
To appear in Proceedings of TGC 2010.
Download PDF. -
Damon Fenacci and Kenneth MacKenzie. Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic. To appear at BYTECODE 2011.