| 2009 | ||
|---|---|---|
| 4 | Robert Atkey: Algebras for Parameterised Monads. CALCO 2009: 3-17 | |
| 3 | Robert Atkey: Syntax for Free: Representing Syntax with Binding Using Parametricity. TLCA 2009: 35-49 | |
| 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 | |