Login / Signup

Principal Type Schemes for Functional Programs with Overloading and Subtyping.

Geoffrey Smith
Published in: Sci. Comput. Program. (1994)
Keyphrases
  • functional programs
  • lazy evaluation
  • term rewriting systems
  • databases
  • database
  • high level
  • logic programs
  • first order logic
  • stochastic grammar