 | 2012 |
|---|
| 12 |       | Robert Atkey,
Neil Ghani,
Bart Jacobs,
Patricia Johann:
Fibrational Induction Meets Effects.
FoSSaCS 2012: 42-57 |
| 2011 |
|---|
| 11 | | Robert Atkey,
Patricia Johann,
Neil Ghani:
When Is a Type Refinement an Inductive Type?
FOSSACS 2011: 72-87 |
| 10 | | Robert Atkey:
What is a Categorical Model of Arrows?
Electr. Notes Theor. Comput. Sci. 229(5): 19-37 (2011) |
| 9 | | Robert Atkey:
Amortised Resource Analysis with Separation Logic
Logical Methods in Computer Science 7(2): (2011) |
| 2010 |
|---|
| 8 | | Robert Atkey:
Amortised Resource Analysis with Separation Logic.
ESOP 2010: 85-103 |
| 7 | | David Aspinall,
Robert Atkey,
Kenneth MacKenzie,
Donald Sannella:
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.
TGC 2010: 1-22 |
| 2009 |
|---|
| 6 | | Robert Atkey:
Algebras for Parameterised Monads.
CALCO 2009: 3-17 |
| 5 | | Robert Atkey,
Sam Lindley,
Jeremy Yallop:
Unembedding domain-specific languages.
Haskell 2009: 37-48 |
| 4 | | Robert Atkey:
Syntax for Free: Representing Syntax with Binding Using Parametricity.
TLCA 2009: 35-49 |
| 3 | | Robert Atkey:
Parameterised notions of computation.
J. Funct. Program. 19(3-4): 335-376 (2009) |
| 2007 |
|---|
| 2 | | Robert Atkey:
CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types.
TYPES 2007: 18-32 |
| 2004 |
|---|
| 1 | | Robert Atkey:
A lambda-Calculus for Resource Separation.
ICALP 2004: 158-170 |
Data released under the ODC-BY 1.0 license — See also our legal information page