Polytypic Programming With Ease
- 1 January 1999
- book chapter
- Published by Springer Nature
- Vol. 2001 (3) , 21-36
- https://doi.org/10.1007/10705424_2
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Polytypic Programming With EasePublished by Springer Nature ,1999
- Encoding types in ML-like languagesACM SIGPLAN Notices, 1998
- Polytypic unificationJournal of Functional Programming, 1998
- Nested datatypesPublished by Springer Nature ,1998
- Generic functional programming with types and relationsJournal of Functional Programming, 1996
- Functional programming with overloading and higher-order polymorphismPublished by Springer Nature ,1995
- Dynamic typing in polymorphic languagesJournal of Functional Programming, 1995
- Functional programming with bananas, lenses, envelopes and barbed wirePublished by Springer Nature ,1991
- The typechecking of programs with implicit type structurePublished by Springer Nature ,1984
- Fundamental properties of infinite treesTheoretical Computer Science, 1983