• Demystifying MLsub – The Simple Essence of Algebraic Subtyping https://lptk.github.io/programming/2020/03/26/demystifying-mlsub.html 8 comments 26/7/2020

• The Y Combinator Explained in Python https://lptk.github.io/programming/2019/10/15/simple-essence-y-combinator.html 7 comments 10/4/2025 programming
• The Simple Essence of the Y Combinator (Explained in Python) https://lptk.github.io/programming/2019/10/15/simple-essence-y-combinator.html 24 comments 15/10/2019 programming
• What is Type Projection in Scala, and Why is it Unsound? http://lptk.github.io/programming/2019/09/13/type-projection.html 6 comments 13/9/2019 scala
• Scala Pattern Matching Warts and Improvements https://lptk.github.io/programming/2018/12/12/scala-pattern-warts-improvements.html 12 comments 13/12/2018 scala
• Comprehending Monoids with Class https://lptk.github.io/programming/2018/10/04/comprehending-monoids-with-class.html 37 comments 8/10/2018 haskell
• A Dual to Iterator, and How to Abuse For Comprehension https://lptk.github.io/programming/2018/03/02/a-dual-to-iterator.html 8 comments 3/3/2018 scala