Michael Gordon Abbott

According to our database, Michael Gordon Abbott authored at least 8 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

Containers: Constructing strictly positive types.

Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani

Theor. Comput. Sci., 2005

for Data: Differentiating Data Structures.

Michael Gordon Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani

Fundam. Informaticae, 2005

Abstract Modularity.

Michael Gordon Abbott, Neil Ghani, Christoph Lüth

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

2004

Constructing Polymorphic Programs with Quotient Types.

Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

Representing Nested Inductive Types Using W-Types.

Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003

Categories of containers.

Michael Gordon Abbott

PhD thesis, 2003

Derivatives of Containers.

Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride

Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003

Categories of Containers.

Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani

Proceedings of the Foundations of Software Science and Computational Structures, 2003