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

Brianna M. Ren Jeffrey S. Foster

Published in: PLDI (2016)

Keyphrases

type checking
database query languages
data types
expressive power
relational calculus
data structure
query processor