Selective thunkification

This publication has 10 references indexed in Scilit:

• Selective and lightweight closure conversion
  Published by Association for Computing Machinery (ACM) ,1994
• Minimal thunkification
  Published by Springer Nature ,1993
• CPS-transformation after strictness analysis
  ACM Letters on Programming Languages and Systems, 1992
• Strictness analysis in logical form
  Published by Springer Nature ,1991
• A new technique for strictness analysis
  Published by Springer Nature ,1991
• Strictness analysis for higher-order functions
  Science of Computer Programming, 1986
• Higher-order strictness analysis in untyped lambda calculus
  Published by Association for Computing Machinery (ACM) ,1986
• Data Structures and Network Algorithms
  Published by Society for Industrial & Applied Mathematics (SIAM) ,1983
• The theory and practice of transforming call-by-need into call-by-value
  Published by Springer Nature ,1980
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975