Type-Theoretic Methodology For Practical Programming Languages (1998)

by Karl Fredrick Crary
Venue:DEPARTMENT OF COMPUTER SCIENCE, CORNELL UNIVERSITY
Citations:22 - 3 self