Type-Theoretic Methodology For Practical Programming Languages (1998)

by Karl Fredrick Crary
Venue:DEPARTMENT OF COMPUTER SCIENCE, CORNELL UNIVERSITY