Shapely types and shape polymorphism
- 1 January 1994
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 302-316
- https://doi.org/10.1007/3-540-57880-3_20
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Tail recursion through universal invariantsTheoretical Computer Science, 1993
- Introduction to extensive and distributive categoriesJournal of Pure and Applied Algebra, 1993
- Predicate Transformer SemanticsPublished by Cambridge University Press (CUP) ,1992
- List-arithmetic distributive categories: LocoiJournal of Pure and Applied Algebra, 1990
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982