#
Knowledge Base of

Publications,
Seminars,
& Math Library

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

## Filter for: Robert W. Harper

6 results

*
Lambda Calculus as Basis for Programming Language Design *

by Robert W. Harper

1990-1991

*
The Lambda Calculus as a Basis for Language Design *

by Robert W. Harper

1989-1990

*
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

*
Aspects of the Implementation of Type Theory *
| cite »

by Robert W. Harper

1985

*
Equality *

by Robert W. Harper

1984-1985

*
Type Inference *

by Robert W. Harper

1984-1985