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