Calculate polytypically!
- 1 January 1996
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Recursive types reduced to inductive typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Datatype laws without signaturesMathematical Structures 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
- Functional programming with overloading and higher-order polymorphismLecture Notes in Computer Science, 1995
- The design of a pretty-printing libraryLecture Notes in Computer Science, 1995
- A generic program for sequential decision processesLecture Notes in Computer Science, 1995
- Calculate categorically!Formal Aspects of Computing, 1992
- Homomorphisms and promotabilityLecture Notes in Computer Science, 1989
- An Introduction to the Theory of ListsPublished by Springer Science and Business Media LLC ,1987