Datafun - functional language that generalizes Datalog

Deconstructing Datalog [pdf]

Aphorisms on programming language design (2017)

Simple, pure, and total functional language that generalizes Datalog

Against software development

Why I am not a fan of Cabal or Stack

Not Everything is an Expression (2016)

Aphorisms on programming language design

Intuitive hygienic macros

Option and null in dynamic languages