| |
| 2009 | ||
|---|---|---|
| 2 | EE | James Chapman: Type Theory Should Eat Itself. Electr. Notes Theor. Comput. Sci. 228: 21-36 (2009) |
| 2005 | ||
| 1 | James Chapman, Thorsten Altenkirch, Conor McBride: Epigram reloaded: a standalone typechecker for ETT. Trends in Functional Programming 2005: 79-94 | |
| 1 | Thorsten Altenkirch | [1] |
| 2 | Conor McBride | [1] |