Notes / Paper Summaries

A curated collection of my notes and paper summaries. These include notes for lectures, seminars, and conferences, and also summaries of papers I have read / reading. Papers I plan to read are usually on the reading list page.

• CAFV

  Notes on CAFV (Computer-Aided Formal Verification)
  PDF
• POPL

  Notes on Principles of Programming Languages
  PDF
• Programming Language General

  General notes on programming language theory
  PDF
• Rings and Groups

  Notes on rings and groups. Slightly unorganized but somewhat comprehensive.
  zatsu.pdf