Sign in
A Fully Abstract Semantics for a Higher-Order Functional Language with Nondeterministic Computation.
Alan Jeffrey
Published in:
Theor. Comput. Sci. (1999)
Keyphrases
</>
higher order
functional language
functional programming
programming language
object identity
logic programming
artificial intelligence
database
query language
high level