λ-V-CS: an extended λ-calculus for scheme

This publication has 7 references indexed in Scilit:

• The theory and practice of first-class prompts
  Published by Association for Computing Machinery (ACM) ,1988
• Polymorphic effect systems
  Published by Association for Computing Machinery (ACM) ,1988
• Logic continuations
  The Journal of Logic Programming, 1987
• Obtaining coroutines with continuations
  Computer Languages, 1986
• The dream of a lifetime
  Published by Association for Computing Machinery (ACM) ,1980
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975
• Correspondence between ALGOL 60 and Church's Lambda-notation
  Communications of the ACM, 1965