@article{milner1997,
  title={The Definition of Standard ML},
  author={Robin Milner and Robert Harper and David MacQueen and Mads Tofte},
  year={1997},
  journal={The MIT Press eBooks},
  doi={10.7551/mitpress/2319.001.0001},
  url={https://doi.org/10.7551/mitpress/2319.001.0001}
}