Robert Harper

An introduction to programming languages in terms of type theory:

*Practical foundations for programming languages, second edition*, Cambridge University Press 2016, (webpage).

An abridged preview, author comments and supplementary material are available on the PFPL Home Page.

An introduction to programming in Standard ML

*Programming in Standard ML*, draft pdf

category: people

Last revised on August 9, 2018 at 15:15:24. See the history of this page for a list of all contributions to it.