I’ve just become aware that a lot of the PLT crew are keeping blogs. Worth checking out if Lambda the Ultimate doesn’t provide you with enough daily programming language theory are:

• The Little Calculist (Dave Herman)
• Keep Working, Worker Bee! (Jacob Matthews)
• Mitch’s Clippings (Mitch Wand)

Jacob’s blog is particularly interesting to me for two reasons:

• He’s talking a bit about commercial applications of PLT Scheme, something that we’re trying to do at Untyped
• He’s got a great paper showing how a pile of programming language theory can be applied to solve a problem way better than anyone else has solved it before, which is something we’rereally into!