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

Revised on April 14, 2016 03:55:21 by David Corfield (91.125.246.222)