When Do Datatypes Commute?
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 242-260
- https://doi.org/10.1007/bfb0026992
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- ReductivityScience of Computer Programming, 1996
- Calculate polytypically!Published by Springer Nature ,1996
- Polytypic programmingPublished by Springer Nature ,1996
- The Algebra of ProgrammingPublished by Springer Nature ,1996
- Generic functional programming with types and relationsJournal of Functional Programming, 1996
- Polytypic pattern matchingPublished by Association for Computing Machinery (ACM) ,1995
- Functional programming with bananas, lenses, envelopes and barbed wirePublished by Springer Nature ,1991
- Homomorphisms and promotabilityPublished by Springer Nature ,1989
- Lectures on Constructive Functional ProgrammingPublished by Springer Nature ,1989