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