A polymorphic modal type system for lisp-like multi-staged languages.

Ik-Soon Kim Kwangkeun Yi Cristiano Calcagno

Published in: POPL (2006)

Keyphrases

type checking
database query languages
learning theory
databases
modal logic
computer programs
object oriented languages
information systems
programming language
expressive power
data sets
pairwise
grammatical inference
query processor