C++

• Mar-2015 Throwing Other Things than Exceptions, Continued

Collections

• Mar-2018 A Dual to Iterator, and How to Abuse For Comprehension

Comprehension

• Oct-2018 Comprehending Monoids with Class
• Mar-2018 A Dual to Iterator, and How to Abuse For Comprehension

Exceptions

• Mar-2015 Throwing Other Things than Exceptions, Continued

Functional programming

• Mar-2015 Algebraic Data Types in Java 6

Haskell

• Oct-2018 Comprehending Monoids with Class

Java

• Mar-2015 Algebraic Data Types in Java 6

Lambda calculus

• Oct-2019 The Y Combinator Explained in Python

Language design

• Dec-2018 Scala Pattern Matching Warts and Improvements
• Oct-2018 Comprehending Monoids with Class

Pattern matching

• Dec-2018 Scala Pattern Matching Warts and Improvements

Python

• Oct-2019 The Y Combinator Explained in Python

Query languages

• Oct-2018 Comprehending Monoids with Class

Scala

• Sep-2019 What is Type Projection in Scala, and Why is it Unsound?
• Dec-2018 Scala Pattern Matching Warts and Improvements
• Mar-2018 A Dual to Iterator, and How to Abuse For Comprehension

Type systems

• Mar-2020 Demystifying MLsub — the Simple Essence of Algebraic Subtyping
• Sep-2019 What is Type Projection in Scala, and Why is it Unsound?