Michael Gordon Abbott

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
Containers: Constructing strictly positive types.
Theor. Comput. Sci., 2005

for Data: Differentiating Data Structures.
Fundam. Informaticae, 2005

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

2004
Constructing Polymorphic Programs with Quotient Types.
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

Representing Nested Inductive Types Using W-Types.
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003
Categories of containers.
PhD thesis, 2003

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

Categories of Containers.
Proceedings of the Foundations of Software Science and Computational Structures, 2003


  Loading...