Handouts

fp@cs

15-851 Computation and Deduction
Handouts

The handout Computation and Deduction contains a complete set of notes as of the indicated date. This includes all incremental handouts with possible corrections and updates. Note that I do not correct incremental handouts on-line.

Files are available in PDF format (default) and also in PostScript (additional link). The latter is prepared for double-sided printing.

Date Handout (PDF) PostScript Note

Mar 6 Computation and Deduction cd.ps Lectures 1-11, 13-14

Jan 18 The Mini-ML Language mini-ml.ps Lectures 1, 2, 3

Jan 30 Formalization in a Logical Framework lf.ps Lectures 4, 5, 6

Feb 15 Parametric and Hypothetical Judgments hypo.ps Lecture 8

Feb 20 The Elf Programming Language elf.ps Lecture 7

Mar 6 Compilation compile.ps Lectures 9, 10, 11, 13, 14

May 12 Parametric Polymorphism poly.ps Lectures 15, 16

[ Home | Schedule | Assignments | Handouts | Software | Overview ]

fp@cs
Frank Pfenning