2015

• Using LaTeX for Programming Language Semantics
• A Small ALU in Haskell, Part I
• The Refined Gradual Guarantee and Compilation

2014

• The Curious Case of Subclassing and Scope
• Semantics Dipped in Lime
• Lexical Data - Lexical Scoping is a Right, Not a Privilege

2013

• rKanren - Guided Search in miniKanren, Part I
• It's a period of civil war
• ACM doesn't understand Open Access
• My next laptop will be an Apple
• Adding A* Search to miniKanren

2012

• Writing Christmas Trees, or Building A Cute Turing Tarpit
• ParselTongue to JavaScript Compiler
• Substrings in Scheme
• Gangnam Passing Style
• Computer Science is fake science. It is, however, real math.
• Gobs of Recursion
• Contracts are Effects
• Victim-Blaming Contract Calculus