A type-theoretic interpretation of Standard ML (1998)

by R Harper, C Stone
Venue:In Proof, Language and Interaction: Essays in Honour of Robin Milner