Sign in

Just-in-time static type checking for dynamic languages.

Brianna M. RenJeffrey S. Foster
Published in: PLDI (2016)
Keyphrases
  • type checking
  • database query languages
  • data types
  • expressive power
  • relational calculus
  • data structure
  • query processor