[2015.08.17] Using LaTeX for Programming Language Semantics

[2015.04.24] A Small ALU in Haskell, Part I

[2015.04.15] The Refined Gradual Guarantee and Compilation

[2014.10.15] The Curious Case of Subclassing and Scope

[2014.02.20] Lexical Data - Lexical Scoping is a Right, Not a Privilege

[2013.09.20] rKanren - Guided Search in miniKanren, Part I

[2013.02.20] It's a period of civil war [IMG]

[2013.02.06] ACM doesn't understand Open Access

[2013.02.04] My next laptop will be an Apple

[2013.01.09] Adding A* Search to miniKanren

[2012.12.27] Writing Christmas Trees, or Building A Cute Turing Tarpit

[2012.11.14] Substrings in Scheme

[2012.07.15] Contracts are Effects