Strict bidirectional type checking.

Adam Chlipala Leaf Petersen Robert Harper

Published in: TLDI (2005)

Keyphrases

type checking
data types
query processor
database query languages
relational calculus
object model
viewpoint
relational algebra
database
data structure
knowledge discovery
general purpose
expressive power