Constructing polymorphic programs with quotient types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3125, Issue , 2004, Pages 2-15

  Abbott, Michael ^a   Altenkirch, Thorsten ^b   Ghani, Neil ^a   McBride, Conor ^c  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b UNIVERSITY OF NOTTINGHAM   (United Kingdom)

^c DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

DATATYPES; LARGE SOFTWARE SYSTEMS; PARAMETRIC POLYMORPHISM;

ARTIFICIAL INTELLIGENCE;

EID: 33645274305     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27764-4_2     Document Type: Article

References (15)

1. M. Abbott. Categories of Containers. PhD thesis, University of Leicester, 2003.
2. M. Abbott, T. Altenkirch, and N. Ghani. Categories of containers. In A. Gordon, editor, Proceedings of FOSSACS 2003, number 2620 in Lecture Notes in Computer Science, pages 23-38. Springer-Verlag, 2003a.
3. M. Abbott, T. Altenkirch, N. Ghani, and C. McBride. Derivatives of containers. In Typed Lambda Calculi and Applications, TLCA 2003, number 2701 in Lecture notes in Computer Science, pages 16-30. Springer, 2003b.
4. T. Altenkirch and C. McBride. Generic programming within dependently typed programming. In Generic Programming, 2003. Proceedings of the IFIP TC2 Working Conference on Generic Programming.
5. E. S. Bainbridge, P. J. Freyd, A. Scedrov, and P. J. Scott. Functorial polymorphism, preliminary report. In G. Huet, editor, Logical Foundations of Functional Programming, chapter 14, pages 315-327. Addison-Wesley, 1990.
6. F. Borceux. Handbook of Categorical Algebra, Encyclopedia of Mathematics. CUP, 1994.
7. th LICS Conf., pages 193-202. IEEE, Computer Society Press, 1999.
8. M. P. Fiore and T. Leinster. Objects of categories as complex numbers. Advances in Mathematics., 2004. To appear.
9. M. Hofmann. On the interpretation of type theory in locally cartesian closed categories. In CSL, pages 427-441, 1994.
10. M. Hofmann. A simple model of quotient types, volume 902 of Lecture Notes in Computer Science, pages 216-234. Springer, 1995.
11. B. Jacobs. Categorical Logic and Type Theory. Number 141. Elsevier, 1999.
12. C. B. Jay. A semantics for shape. Science of Computer Programming, 25:251-283, 1995.
13. C. B. Jay and J. R. B. Cockett. Shapely types and shape polymorphism. In Proceedings of ESOP'94, Lecture Notes in Computer Science, pages 302-316. Springer, 1994.
14. A. Joyal. Foncteurs analytiques et espéces de structures. In Combinatoire énumérative, number 1234 in LNM, pages 126-159.1986.
15. S. Mac Lane. Categories for the Working Mathematician. Number 5 in Graduate Texts in Mathematics. Springer-Verlag, 1971.