| | |
Summary: The Logical Basis of
Evaluation Order and Pattern-Matching
Noam Zeilberger
CMU-CS- -
April 17, 2009
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Thesis Committee:
Frank Pfenning, co-chair
Peter Lee, co-chair
Robert Harper
Paul-André Mellies, Université Paris VII
Submitted in partial fulfillment of the requirements
for the degree of Doctor of Philosophy.
Copyright c 2009 Noam Zeilberger
Abstract
An old and celebrated analogy says that writing programs is like proving the-
orems. This analogy has been productive in both directions, but in particular has
demonstrated remarkable utility in driving progress in programming languages, for
|
