@InCollection{harper+:smltt-final,
  author = 	 {Robert Harper and Chris Stone},
  title = 	 {A Type-Theoretic Interpretation of {S}tandard {ML}},
  booktitle = 	 {Proof, Language, and Interaction: Essays in Honor of Robin Milner},
  publisher =	 {MIT Press},
  year =	 2000,
  editor =	 {Gordon Plotkin and Colin Stirling and Mads Tofte}
}