Sign in

Strict bidirectional type checking.

Adam ChlipalaLeaf PetersenRobert 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