Functorial ML
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Functorial MLPublished by Springer Nature ,1996
- A semantics for shapeScience of Computer Programming, 1995
- Compiling polymorphism using intensional type analysisPublished by Association for Computing Machinery (ACM) ,1995
- A system of constructor classes: overloading and implicit higher-order polymorphismJournal of Functional Programming, 1995
- Polytypic pattern matchingPublished by Association for Computing Machinery (ACM) ,1995
- Unboxed objects and polymorphic typingPublished by Association for Computing Machinery (ACM) ,1992
- Inductive types and type constraints in the second-order lambda calculusAnnals of Pure and Applied Logic, 1991
- Functional programming with bananas, lenses, envelopes and barbed wirePublished by Springer Nature ,1991
- Functorial polymorphismTheoretical Computer Science, 1990
- Introduction to bicategoriesPublished by Springer Nature ,1967