Constructing Polymorphic Programs with Quotient Types
- 1 January 2004
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Objects of categories as complex numbersAdvances in Mathematics, 2005
- Derivatives of ContainersLecture Notes in Computer Science, 2003
- Categories of ContainersLecture Notes in Computer Science, 2003
- Generic Programming within Dependently Typed ProgrammingIFIP Advances in Information and Communication Technology, 2003
- A semantics for shapeScience of Computer Programming, 1995
- A simple model for quotient typesPublished by Springer Science and Business Media LLC ,1995
- On the interpretation of type theory in locally cartesian closed categoriesLecture Notes in Computer Science, 1995
- Shapely types and shape polymorphismLecture Notes in Computer Science, 1994
- Foncteurs analytiques et espèces de structuresLecture Notes in Mathematics, 1986
- Categories for the Working MathematicianGraduate Texts in Mathematics, 1971