Nested datatypes
- 1 January 1998
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Calculate polytypically!Lecture Notes in Computer Science, 1996
- Functional data structuresLecture Notes in Computer Science, 1996
- The Algebra of ProgrammingPublished by Springer Science and Business Media LLC ,1996
- Generic functional programming with types and relationsJournal of Functional Programming, 1996
- A generalization of the trie data structureMathematical Structures in Computer Science, 1995
- Bananas in spacePublished by Association for Computing Machinery (ACM) ,1995
- Algebraically complete categoriesLecture Notes in Mathematics, 1991
- Data structures and program transformationScience of Computer Programming, 1990
- Polymorphic type schemes and recursive definitionsLecture Notes in Computer Science, 1984
- A fixpoint theorem for complete categoriesMathematische Zeitschrift, 1968