All of our items
Flat list
Add something!
Edit current entries

• http://www.cis.upenn.edu/~bcpierce/tapl/ (illustration from a practical angle: http://codon.com/programming-with-nothing)
• http://www.elegantcoding.com/2012/09/lattice-theory-for-programmers-and-non.html #toread
• grad course: Homotopy Type Theory (video lectures, ~follows HoTT) (cs/math/whatever)
• SICP (accomp lectures 1986 #good #lisp #scheme)

Last edit: 11 years ago (2014-05-02 11:24:40 UTC)

Edit cs.
View backup of cs.

Home.

---

raw (git) changelog