Login / Signup
A correspondence between type checking via reduction and type checking via evaluation.
Ilya Sergey
Dave Clarke
Published in:
Inf. Process. Lett. (2012)
Keyphrases
</>
type checking
data types
query processor
database query languages
abstract data types
relational calculus
object model
database systems
query processing
general purpose
multi dimensional