2020

• Mar Demystifying MLsub — the Simple Essence of Algebraic Subtyping

2019

• Oct The Y Combinator Explained in Python
• Sep What is Type Projection in Scala, and Why is it Unsound?

2018

• Dec Scala Pattern Matching Warts and Improvements
• Oct Comprehending Monoids with Class
• Mar A Dual to Iterator, and How to Abuse For Comprehension

2015

• Mar Throwing Other Things than Exceptions, Continued
• Mar Algebraic Data Types in Java 6