Evaluation transformers — A model for the parallel evaluation of functional languages (extended abstract)
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 446-470
- https://doi.org/10.1007/3-540-18317-5_24
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Compiling strictness into streamsPublished by Association for Computing Machinery (ACM) ,1987
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986
- The four-stroke reduction enginePublished by Association for Computing Machinery (ACM) ,1986
- Strictness analysis and polymorphic invariancePublished by Springer Nature ,1986
- A safe approach to parallel combinator reduction (extended abstract)Published by Springer Nature ,1986
- Higher-order strictness analysis in untyped lambda calculusPublished by Association for Computing Machinery (ACM) ,1986
- Miranda: A non-strict functional language with polymorphic typesLecture Notes in Computer Science, 1985
- Strong abstract interpretation using power domainsPublished by Springer Nature ,1983
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- Data Types as LatticesSIAM Journal on Computing, 1976