Robin Milner, Mads Tofte, Robert Harper. Definition of standard ML. MIT Press, 1990.
@book{0069232,
title = {Definition of standard ML},
author = {Robin Milner and Mads Tofte and Robert Harper},
year = {1990},
researchr = {https://researchr.org/publication/0069232},
cites = {0},
citedby = {0},
publisher = {MIT Press},
isbn = {978-0-262-63132-7},
}