Knowledge Base of
Publications, Seminars, & Math Library

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