Fascists and Rakes (2014)

A reckless introduction to Hindley-Milner type inference (2019)

Classifying games like the Prisoner's Dilemma

A reckless introduction to Hindley-Milner type inference

Towards a Taxonomy of Logic Puzzles

The Farmer's Dilemma