nLab
Robert Harper

Writings

An introduction to programming languages in terms of type theory:

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

An introduction to programming in Standard ML

category: people