A Type-Theoretic Interpretation of Standard ML (2000)

by Robert Harper , Christopher Stone
Venue:IN PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER
Citations:89 - 12 self