An expressive, scalable type theory for certified code.

Karl Crary Joseph Vanderwaart

Published in: ICFP (2002)

Keyphrases

theoretical framework
computational model
theoretical basis
data sets
source code
databases
social networks
multimedia
multi agent
highly scalable