A New Type-Checker for a Functional Language.

Published in: Data Types and Persistence (Appin) (1985)

Keyphrases

functional language
functional programming
machine learning
programming language
databases
artificial intelligence
high level
incomplete information