nLab Robert Harper

Selected writings

On logical frameworks:

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

On guarded recursion:

On (homotopy types of) covering spaces via homotopy type theory:

category: people

Last revised on January 3, 2023 at 20:09:00. See the history of this page for a list of all contributions to it.