Categories of Containers. - Michael Gordon Abbott; Thorsten Altenkirch; Neil Ghani (FoSSaCS, 2003)

Derivatives of Containers. - Michael Gordon Abbott; Thorsten Altenkirch; Neil Ghani; Conor McBride (TLCA, 2003)

Categories of containers. - Michael Gordon Abbott (2003)

Representing Nested Inductive Types Using W-Types. - Michael Gordon Abbott; Thorsten Altenkirch; Neil Ghani (ICALP, 2004)

Constructing Polymorphic Programs with Quotient Types. - Michael Gordon Abbott; Thorsten Altenkirch; Neil Ghani; Conor McBride (MPC, 2004)

Abstract Modularity. - Michael Gordon Abbott; Neil Ghani; Christoph Lüth (RTA, 2005)

for Data: Differentiating Data Structures. - Michael Gordon Abbott; Thorsten Altenkirch; Conor McBride; Neil Ghani (Fundam. Informaticae, 2005)

Containers: Constructing strictly positive types. - Michael Gordon Abbott; Thorsten Altenkirch; Neil Ghani (Theor. Comput. Sci., 2005)