| 2005 |
|---|
| 7 | EE | Michael Abbott,
Neil Ghani,
Christoph Lüth:
Abstract Modularity.
RTA 2005: 46-60 |
| 6 | EE | Michael Abbott,
Thorsten Altenkirch,
Conor McBride,
Neil Ghani:
for Data: Differentiating Data Structures.
Fundam. Inform. 65(1-2): 1-28 (2005) |
| 5 | EE | Michael Abbott,
Thorsten Altenkirch,
Neil Ghani:
Containers: Constructing strictly positive types.
Theor. Comput. Sci. 342(1): 3-27 (2005) |
| 2004 |
|---|
| 4 | EE | Michael Abbott,
Thorsten Altenkirch,
Neil Ghani:
Representing Nested Inductive Types Using W-Types.
ICALP 2004: 59-71 |
| 3 | EE | Michael Abbott,
Thorsten Altenkirch,
Neil Ghani,
Conor McBride:
Constructing Polymorphic Programs with Quotient Types.
MPC 2004: 2-15 |
| 2003 |
|---|
| 2 | EE | Michael Abbott,
Thorsten Altenkirch,
Neil Ghani:
Categories of Containers.
FoSSaCS 2003: 23-38 |
| 1 | EE | Michael Abbott,
Thorsten Altenkirch,
Neil Ghani,
Conor McBride:
Derivatives of Containers.
TLCA 2003: 16-30 |
