//
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
1990-1991

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

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
1986

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

Seminar Equality
by Robert W. Harper
1984-1985

Seminar Type Inference
by Robert W. Harper
1984-1985