Note Collections

Assignments

External Resources

  • A Micro-Manual for Lisp - Not the Whole Truth - John McCarthy - Read Online
  • Certified Programming with Dependent Types - Adam Chlipala - Read Online
  • Christian's Lambda Calculus Interpreter - Christian Clausen - Download
  • Structure and Interpretation of Computer Programs - Harold Abelson and Gerald Jay Sussman with Julie Sussman - Read Online
  • The Lambda Calculus - Outline of Lectures - Mayer Goldberg - Read Online
  • The Strong Law of Small Numbers - Richard K. Guy - Read Online
  • [Quote] On Learning - Ira Remsen - Read Online
  • [Video] Erlang: The Movie - Ericsson - Watch Online
  • [Video] Five Stages of Accepting Constructive Mathematics - Andrej Bauer - Watch Online
  • [Video] Inventing on Principle - Bret Victor - Watch Online
  • [Video] The Future of Programming - Bret Victor - Watch Online