Really Natural Linear Indexed Type Checking.

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

Published in: IFL (2014)

Keyphrases

type checking
data types
database query languages
expressive power
query processor
spatio temporal
abstract data types