Extensible denotational language specifications

This publication has 21 references indexed in Scilit:

• Computational lambda-calculus and monads
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Representing monads
  Published by Association for Computing Machinery (ACM) ,1994
• The revised report on the syntactic theories of sequential control and state
  Theoretical Computer Science, 1992
• Notions of computation and monads
  Information and Computation, 1991
• Engines from continuations
  Computer Languages, 1989
• A syntactic theory of sequential state
  Theoretical Computer Science, 1989
• Direct semantics and exceptions define jumps and coroutines
  Information Processing Letters, 1989
• A syntactic theory of sequential control
  Theoretical Computer Science, 1987
• Obtaining coroutines with continuations
  Computer Languages, 1986
• The Denotational Description of Programming Languages
  Published by Springer Nature ,1979