Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Robert W. Harper

6 results

Seminar Lambda Calculus as Basis for Programming Language Design
by Robert W. Harper

Seminar The Lambda Calculus as a Basis for Language Design
by Robert W. Harper

Publication Implementing Mathematics with the Nuprl Development System | cite »
by Robert L. Constable, Stuart F. Allen, H. M. Bromley, Walter Rance Cleaveland, J. F. Cremer, Robert W. Harper, Douglas J. Howe, Todd B. Knoblock, Nax P. Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith

Publication Aspects of the Implementation of Type Theory | cite »
by Robert W. Harper

Seminar Equality
by Robert W. Harper

Seminar Type Inference
by Robert W. Harper