Intensional polymorphism in type-erasure semantics.

Karl Crary Stephanie Weirich J. Gregory Morrisett

Published in: J. Funct. Program. (2002)

Keyphrases

formal semantics
database systems
conceptual schema
higher order
description logics
data integration
semantic information
conceptual graphs