Peter Morris
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | VISSOFT | HeapKeep: Exploring Novel Codebases Through an RPG Interface. | Ryan Bissett, John Loane, Peter Morris |
| 2011 | CALCO | A Categorical Semantics for Inductive-Inductive Definitions. | Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer |
| 2011 | CSEDU | Computer-aided Self-assessment and Independent Learning in Higher Education. | Peter Morris, Shane Dowdall |
| 2010 | ICFP | The gentle art of levitation. | James Chapman, Pierre-variste Dagand, Conor McBride, Peter Morris |
| 2010 | ICFP | Epigram Prime: A Demonstration. | Peter Morris |
| 2009 | LICS | Indexed Containers. | Thorsten Altenkirch, Peter Morris |