- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c7 |      | Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer: A Categorical Semantics for Inductive-Inductive Definitions. CALCO 2011: 70-84 |
| c6 |  | Peter Morris, Shane Dowdall: Computer-aided Self-assessment and Independent Learning in Higher Education. CSEDU (2) 2011: 139-142 |
| 2010 | ||
| c5 | | James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris: The gentle art of levitation. ICFP 2010: 3-14 |
| 2009 | ||
| j1 | | Peter Morris, Thorsten Altenkirch, Neil Ghani: A Universe of Strictly Positive Families. Int. J. Found. Comput. Sci. 20(1): 83-107 (2009) |
| c4 | | |
| 2007 | ||
| c3 | | Peter Morris, Thorsten Altenkirch, Neil Ghani: Constructing Strictly Positive Families. CATS 2007: 111-121 |
| 2006 | ||
| c2 | | Thorsten Altenkirch, Conor McBride, Peter Morris: Generic Programming with Dependent Types. SSDGP 2006: 209-257 |
| 2004 | ||
| c1 | | Peter Morris, Thorsten Altenkirch, Conor McBride: Exploring the Regular Tree Types. TYPES 2004: 252-267 |
| 1 | Thorsten Altenkirch | |
| 2 | James Chapman | |
| 3 | Pierre-Évariste Dagand | |
| 4 | Shane Dowdall | |
| 5 | Fredrik Nordvall Forsberg | |
| 6 | Neil Ghani | |
| 7 | Conor McBride | |
| 8 | Anton Setzer |
Data released under the ODC-BY 1.0 license — See also our legal information page