Milner, Robin, Tofte, Mads, Robert Harper, MacQueen, David. The Definition of Standard ML, Revised. MIT Press, Cambridge, MA, USA, 1997.
@book{Milner1997thedefinition,
title = {The Definition of {S}tandard {ML}, Revised},
author = {Milner, Robin and Tofte, Mads and Robert Harper and MacQueen, David},
year = {1997},
researchr = {https://researchr.org/publication/Milner1997thedefinition},
cites = {0},
citedby = {0},
address = {Cambridge, MA, USA},
publisher = {MIT Press},
}