PFPL And Related Arcana

Jump to bottom Edit New page

Ben Darwin edited this page Oct 2, 2015 · 20 revisions

Useful Links

PDF of the Book
Our own errata collection
Current CMU grad course
Notation Cheat Sheet
Reading Schedule
ABT generation for SML
LaTeX stylesheet for writing proofs: http://research.nii.ac.jp/%7Etatsuta/proof.sty

Notes

Chapter 1