Brent Knight
Program Optimization in Type Theory
Brent Knight, October 18, 1994
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu