Login / Signup

Monadic State: Axiomatization and Type Safety.

John LaunchburyAmr Sabry
Published in: ICFP (1997)
Keyphrases
  • data sets
  • databases
  • knowledge base
  • case study
  • knowledge representation
  • deductive databases