A Core Calculus for Scala Type Checking.

Vincent Cremet François Garillot Sergueï Lenglet Martin Odersky

Published in: MFCS (2006)

Keyphrases

type checking
database query languages
relational calculus
data types
query processor
abstract data types
relational algebra
object model
query language
database
expressive power
spatio temporal
data model