Advancing the Type-Theoretic Underpinnings of Practical Programming Languages

Karl Crary


February, 1997