Lazy functional state threads

This publication has 11 references indexed in Scilit:

• Lazy functional state threads
  Published by Association for Computing Machinery (ACM) ,1994
• Call by name, assignment, and the lambda calculus
  Published by Association for Computing Machinery (ACM) ,1993
• Conventional and uniqueness typing in graph rewrite systems
  Published by Springer Nature ,1993
• Imperative functional programming
  Published by Association for Computing Machinery (ACM) ,1993
• Unboxed values as first class citizens in a non-strict functional language
  Published by Springer Nature ,1991
• Assignments for applicative languages
  Published by Springer Nature ,1991
• Are applicative languages inefficient?
  ACM SIGPLAN Notices, 1988
• Integrating functional and imperative programming
  Published by Association for Computing Machinery (ACM) ,1986
• Detecting global variables in denotational specifications
  ACM Transactions on Programming Languages and Systems, 1985
• Second-order logical relations
  Published by Springer Nature ,1985