Adequacy for Algebraic Effects

This publication has 16 references indexed in Scilit:

• Nondeterminism and Probabilistic Choice: Obeying the Laws
  Published by Springer Nature ,2000
• Call-by-Push-Value: A Subsuming Paradigm
  Published by Springer Nature ,1999
• A representable approach to finite nondeterminism
  Theoretical Computer Science, 1997
• Notions of computation and monads
  Information and Computation, 1991
• Algebraic semantics
  Lecture Notes in Computer Science, 1981
• A mathematical semantics for a nondeterministic typed λ-calculus
  Theoretical Computer Science, 1980
• The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
  SIAM Journal on Computing, 1980
• Full abstraction for a simple parallel programming language
  Published by Springer Nature ,1979
• A Powerdomain Construction
  SIAM Journal on Computing, 1976
• Algebraic automata and context-free sets
  Information and Control, 1967