Login / Signup

Correctness of Monadic State: An Imperative Call-by-Need Calculus.

Zena M. AriolaAmr Sabry
Published in: Electron. Notes Theor. Comput. Sci. (1997)
Keyphrases
  • machine learning
  • computer vision
  • website
  • real world
  • information systems
  • deductive databases