Type-Theoretic Methodology For Practical Programming Languages (1998)

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

Document Versions

Type-Theoretic Methodology For Practical Programming Languages –Karl Fredrick Crary — 1998 — DEPARTMENT OF COMPUTER SCIENCE, CORNELL UNIVERSITY