Intensional Polymorphism in Type-Erasure Semantics.

Karl Crary Stephanie Weirich J. Gregory Morrisett

Published in: ICFP (1998)

Keyphrases

logic programming
formal semantics
data sets
higher order
information systems
semantic information
conceptual graphs
conceptual schema
database programming language