Preemptive Type Checking in Dynamically Typed Languages.

Neville Grech Julian Rathke Bernd Fischer

Published in: ICTAC (2013)

Keyphrases

type checking
database query languages
data types
query processor
relational calculus
object model
abstract data types
expressive power
user defined
database systems
data structure
data model
query language
programming language
first order logic