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).

The first edition is available as a pdf. Author’s comments on the changes are here.

An introduction to programming in Standard ML

category: people

Last revised on April 14, 2016 at 03:55:21. See the history of this page for a list of all contributions to it.