Really Natural Linear Indexed Type Checking.

Arthur Azevedo de Amorim Emilio Jesús Gallego Arias Marco Gaboardi Justin Hsu

Published in: CoRR (2015)

Keyphrases

type checking
database query languages
databases
data analysis
data types
complex objects
relational calculus
data structure
query language
object oriented