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