Login / Signup

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

Alan Jeffrey
Published in: LICS (1995)
Keyphrases
  • functional language
  • functional programming
  • logic programming
  • deductive databases
  • object identity
  • knowledge base
  • rough sets
  • programming language