Indexed containers T Altenkirch, N Ghani, P Hancock, C McBride, P Morris Journal of Functional Programming 25, e5, 2015 | 145* | 2015 |
The gentle art of levitation J Chapman, PÉ Dagand, C McBride, P Morris ACM SIGPLAN Notices 45 (9), 3-14, 2010 | 111 | 2010 |
Generic programming with dependent types T Altenkirch, C McBride, P Morris Proceedings of the 2006 international conference on Datatype-generic …, 2006 | 50 | 2006 |
Constructing Universes for Generic Programming P Morris PhD thesis, University of Nottingham, 2007 | 44 | 2007 |
Exploring the regular tree types P Morris, T Altenkirch, C McBride Types for Proofs and Programs, 252-267, 2006 | 41 | 2006 |
A categorical semantics for inductive-inductive definitions T Altenkirch, P Morris, F Nordvall Forsberg, A Setzer Algebra and Coalgebra in Computer Science, 70-84, 2011 | 32 | 2011 |
Constructing strictly positive families P Morris, T Altenkirch, N Ghani Proceedings of the thirteenth Australasian symposium on Theory of computing …, 2007 | 24 | 2007 |
A universe of strictly positive families N Ghani, T Altenkirch, P Morris International Journal of Foundations of Copmputer Science 20 (1), 83-107, 2009 | 19* | 2009 |
Isomorphisms on inductive types T Altenkirch, W Swierstra, P Morris | | |
G52MC2 Revision P Morris | | |