 | 2011 |
|---|
| 7 |       | Thorsten Altenkirch,
Peter Morris,
Fredrik Nordvall Forsberg,
Anton Setzer:
A Categorical Semantics for Inductive-Inductive Definitions.
CALCO 2011: 70-84 |
| 6 |  | Peter Morris,
Shane Dowdall:
Computer-aided Self-assessment and Independent Learning in Higher Education.
CSEDU (2) 2011: 139-142 |
| 2010 |
|---|
| 5 | | James Chapman,
Pierre-Évariste Dagand,
Conor McBride,
Peter Morris:
The gentle art of levitation.
ICFP 2010: 3-14 |
| 2009 |
|---|
| 4 | | Thorsten Altenkirch,
Peter Morris:
Indexed Containers.
LICS 2009: 277-285 |
| 3 | | Peter Morris,
Thorsten Altenkirch,
Neil Ghani:
A Universe of Strictly Positive Families.
Int. J. Found. Comput. Sci. 20(1): 83-107 (2009) |
| 2007 |
|---|
| 2 | | Peter Morris,
Thorsten Altenkirch,
Neil Ghani:
Constructing Strictly Positive Families.
CATS 2007: 111-121 |
| 2004 |
|---|
| 1 | | Peter Morris,
Thorsten Altenkirch,
Conor McBride:
Exploring the Regular Tree Types.
TYPES 2004: 252-267 |
Data released under the ODC-BY 1.0 license — See also our legal information page