nLab
Robert Harper

Writings

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

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.