 | 2012 |
|---|
| 8 |       | James Chapman,
Paul Blain Levy:
Proceedings Fourth Workshop on Mathematically Structured Functional Programming
MSFP 2012 |
| 7 | | Danel Ahman,
James Chapman,
Tarmo Uustalu:
When Is a Container a Comonad?
FoSSaCS 2012: 74-88 |
| 2010 |
|---|
| 6 | | Thorsten Altenkirch,
James Chapman,
Tarmo Uustalu:
Monads Need Not Be Endofunctors.
FOSSACS 2010: 297-311 |
| 5 | | James Chapman,
Pierre-Évariste Dagand,
Conor McBride,
Peter Morris:
The gentle art of levitation.
ICFP 2010: 3-14 |
| 2009 |
|---|
| 4 | | James Chapman:
Type Theory Should Eat Itself.
Electr. Notes Theor. Comput. Sci. 228: 21-36 (2009) |
| 3 | | Thorsten Altenkirch,
James Chapman:
Big-step normalisation.
J. Funct. Program. 19(3-4): 311-333 (2009) |
| 2005 |
|---|
| 2 |  | James Chapman,
Thorsten Altenkirch,
Conor McBride:
Epigram reloaded: a standalone typechecker for ETT.
Trends in Functional Programming 2005: 79-94 |
| 2003 |
|---|
| 1 | | Jianhong Jin,
Martin J. Russell,
Michael J. Carey,
James Chapman,
Harvey Lloyd-Thomas,
Graham Tattersall:
A spoken language interface to an electronic programme guide.
INTERSPEECH 2003 |
Data released under the ODC-BY 1.0 license — See also our legal information page