Login / Signup

Partial Type Inference for Untyped Functional Programs.

Carsten K. Gomard
Published in: LISP and Functional Programming (1990)
Keyphrases
  • functional programs
  • lazy evaluation
  • term rewriting systems
  • logic programs
  • machine learning
  • query processing
  • functional language
  • databases
  • artificial intelligence
  • object oriented
  • integrity constraints