Bob Harper

Lambda Calculus as Basis for Programming Language Design
Bob Harper, 1990-91
The Lambda Calculus as a Basis for Language Design
Bob Harper, Fall, 1989
Equality
Bob Harper, 1984-85
Type Inference
Bob Harper, 1984-85


Home | Introduction |Authors | Topics | Chronological List | PRL Project


Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu