An Introduction to Logical Relations and Parametric Polymorphism - Tutorial.

John C. Reynolds

Published in: POPL (1993)

Keyphrases

logical structure
real time
parametric models
truth values
data mining
logical representation
database
real world
machine learning
information retrieval
pairwise
knowledge representation
attribute values
semantic relations