- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |