Strictness analysis in logical form
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 352-366
- https://doi.org/10.1007/3540543961_17
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A self-applicable partial evaluator for the lambda calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Is there a use for linear logic?Published by Association for Computing Machinery (ACM) ,1991
- Binding time analysisPublished by Association for Computing Machinery (ACM) ,1991
- Fixed points and frontiers: a new perspectiveJournal of Functional Programming, 1991
- Partial type inference for untyped functional programsPublished by Association for Computing Machinery (ACM) ,1990
- Strictness analysisPublished by Association for Computing Machinery (ACM) ,1989
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986