Mads Tofte (born 20 April 1959) is a Danish computer scientist who has contributed in particular to functional programming and the Standard ML programming language. (From Wikipedia)
More about Mads Tofte: Associated authors:Books by Mads Tofte:
![[Info]](https://onlinebooks.library.upenn.edu/info.gif)
Tofte, Mads: The Definition of Standard ML (1990), also by R. Milner and Robert Harper (PDF at gtihub.io)- Tofte, Mads: The Definition of Standard ML, Revised (1997), also by R. Milner, Robert Harper, and D. B. MacQueen (PDF at github.io)
Find more by Mads Tofte at your library, or elsewhere.