Book review: The Definition of Standard ML by R. Milner, M. Torte, R. Harper

@inproceedings{Dikotter1990BookRT,
  title={Book review: The Definition of Standard ML by R. Milner, M. Torte, R. Harper},
  author={Marc Dikotter},
  booktitle={CARN},
  year={1990}
}
Standard ML1 is a very powerful functional programming language s temmed ( ini t ia l ly) f rom Robin Milner ' s research on a sys tem for pe r fo rming proofs in a formal logical system: LCF2 . The book is a formal description, on a r igorous mathemat ica l basis, of the syntact ic and semant ic proper t ies of this language. This successful at tempt is… CONTINUE READING