A Types-as-Sets Semantics for Milner-Style Polymorphism.

Published in: POPL (1984)

Keyphrases

formal semantics
logic programming
multiple types
machine learning
relational databases
co occurrence
semantic information
conceptual model
semantic representation