nLab
Robert Harper

Writings

An introduction to programming languages in terms of type theory:

  • Practical foundations for programming languages, Cambridge University Press 2012 (draft pdf)

An introduction to programming in Standard ML

category: people

Revised on March 7, 2013 23:01:22 by Zoran Škoda (161.53.130.104)