Programming

• Mar-2020 Demystifying MLsub — the Simple Essence of Algebraic Subtyping
• Oct-2019 The Y Combinator Explained in Python
• Sep-2019 What is Type Projection in Scala, and Why is it Unsound?
• Dec-2018 Scala Pattern Matching Warts and Improvements
• Oct-2018 Comprehending Monoids with Class
• Mar-2018 A Dual to Iterator, and How to Abuse For Comprehension
• Mar-2015 Throwing Other Things than Exceptions, Continued
• Mar-2015 Algebraic Data Types in Java 6