Strictness properties of lazy algebraic datatypes
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 206-217
- https://doi.org/10.1007/3-540-57264-3_42
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Strictness logic and polymorphic invariancePublished by Springer Nature ,2005
- Strictness analysis in logical formPublished by Springer Nature ,1991
- Uniform ideals and strictness analysisPublished by Springer Nature ,1991
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981