• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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