STLC Redux: Part II

1 · David Nolen · March 25, 2013, midnight
Clojure/West was a blast and I'm happy that Michael Fogus's joke became a reality with 140+ attendees. All the presentations were great, in particular I enjoyed Adam Foltzer's talk on implementing a logic programming system in Haskell, Ryan Senior's tutorial on the new finite domain functionality in core.logic, and of course Dan Friedman and Will Byrd's relational CESK machine. Nada Amin's talk on nominal logic programming was stellar but I think it may have seemed a bit too far into the deep en...