Search the dblp DataBase

Publications of Author

1. Michael Abbott, Thorsten Altenkirch, Neil Ghani
   Categories of Containers. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2003, pp:23-38 [Conf]
   
2. Michael Abbott, Thorsten Altenkirch, Neil Ghani
   Representing Nested Inductive Types Using W-Types. [Citation Graph (0, 0)][DBLP]
   ICALP, 2004, pp:59-71 [Conf]
   
3. Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
   Constructing Polymorphic Programs with Quotient Types. [Citation Graph (0, 0)][DBLP]
   MPC, 2004, pp:2-15 [Conf]
   
4. Michael Abbott, Neil Ghani, Christoph Lüth
   Abstract Modularity. [Citation Graph (0, 0)][DBLP]
   RTA, 2005, pp:46-60 [Conf]
   
5. Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
   Derivatives of Containers. [Citation Graph (0, 0)][DBLP]
   TLCA, 2003, pp:16-30 [Conf]
   
6. Michael Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani
   for Data: Differentiating Data Structures. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2005, v:65, n:1-2, pp:1-28 [Journal]
   
7. Michael Abbott, Thorsten Altenkirch, Neil Ghani
   Containers: Constructing strictly positive types. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:342, n:1, pp:3-27 [Journal]