Michael Gordon Abbott

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

University of Leicester, England, UK (PHD)

Education History

University of Leicester, England, UK

PHD

Publications

Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani
Containers: Constructing strictly positive types. Theor. Comput. Sci. 342 (1) (2005)
Michael Gordon Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani
for Data: Differentiating Data Structures. Fundam. Informaticae 65 (1-2) (2005)
Michael Gordon Abbott, Neil Ghani, Christoph Lüth
Abstract Modularity. RTA (2005)
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
Constructing Polymorphic Programs with Quotient Types. MPC (2004)
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani
Representing Nested Inductive Types Using W-Types. ICALP (2004)
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
Derivatives of Containers. TLCA (2003)
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani
Categories of Containers. FoSSaCS (2003)