A Type-Theoretic Interpretation of Standard ML [chapter]

2000 Proof, Language, and Interaction  
doi:10.7551/mitpress/5641.003.0019 fatcat:uyehiwet65hv5i4zfb2uv2zlxi