Strictness detection in non-flat domains
- 1 January 1986
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 112-135
- https://doi.org/10.1007/3-540-16446-4_7
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986
- The theory and practice of transforming call-by-need into call-by-valuePublished by Springer Nature ,1980