October 30, 2013
Bits and pieces, though I still haven't seen the big picture. Have worked through some parts of Pierce's "Category Theory for Computer Scientists".
Familiar with TaPL, and some parts of Advanced Topics in TaPL.
Interested in compilers and virtual machines.