Delimiting the scope of effects

This publication has 11 references indexed in Scilit:

• Call by name, assignment, and the lambda calculus
  Published by Association for Computing Machinery (ACM) ,1993
• The essence of functional programming
  Published by Association for Computing Machinery (ACM) ,1992
• Notions of computation and monads
  Information and Computation, 1991
• Fully abstract translations between functional languages
  Published by Association for Computing Machinery (ACM) ,1991
• Models of continuations without continuations
  Published by Association for Computing Machinery (ACM) ,1991
• Reasoning with continuations II: full abstraction for models of control
  Published by Association for Computing Machinery (ACM) ,1990
• The theory and practice of first-class prompts
  Published by Association for Computing Machinery (ACM) ,1988
• Continuations may be unreasonable
  Published by Association for Computing Machinery (ACM) ,1988
• Computable values can be classical
  Published by Association for Computing Machinery (ACM) ,1987
• Fully abstract models of typed λ-calculi
  Theoretical Computer Science, 1977