An expressive, scalable type theory for certified code (2002)

by Karl Crary , Joseph C. Vanderwaart
Venue:In ACM International Conference on Functional Programming
Citations:35 - 4 self