Sign in
A fully abstract semantics for a nondeterministic functional language with monadic types.
Alan Jeffrey
Published in:
MFPS (1995)
Keyphrases
</>
functional language
functional programming
logic programming
deductive databases
high level
programming language
data integration
model theoretic
artificial intelligence
software engineering
complex objects
argumentation frameworks
operational semantics
object identity