Writings on programming language theory, functional programming, compiler construction, and other topics that catch my interest.