 |
Note CollectionsAssignmentsExternal Resources- [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
- 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
|
