Chronological Index:
1984-85
Spring Semester
| Universally Closed Classes |
| Robert Constable |
| Reflective PRL |
| Todd Knoblock |
| Defining Lambda-prl and Its Extensions |
| Scott Smith |
| Using Lemmas |
| Tim Griffin |
| Thesis |
| Doug Howe |
| Prolog Mode |
| Reynolds Theory |
| Huet's Theory |
| PP-lambda in Nuprl |
| Nax Mendler |
| Denotational Semantics |
| Nax Mendler |
| Program Verification |
| Polymorphism |
| ML Execution |
| Mark Bromley |
| Nuprl Execution |
| Mark Bromley |
Fall Semester
| Marhew's Principle |
| Ryan Stansifer |
| Equality |
| Bob Harper |
| Type Inference |
| Bob Harper |
| Optimizing Ext |
| Jim Sasaki |
| Prolog |
| Ryan Stansifer |
| Computative Rule |
| Stuart Allen |
| Predicate Calculus Model |
| Stuart Allen |
| Arithpac |
| Tim Griffin |
| Partial Recursive Functions |
| Nax Mendler |
| Theory of Reals |
| Doug Howe |
| Home | | Introduction | | Authors | | Topics | | Chronological List | | PRL Project |