• Zero-Overhead Union Types in Scala http://japgolly.blogspot.com/2015/02/zero-overhead-recursive-adt-coproducts.html 2 comments 23/2/2015
• A Year of Functional Programming http://japgolly.blogspot.com.au/2014/06/a-year-of-functional-programming.html 165 comments 9/6/2014

• Enforcing rules at compile-time: an example https://japgolly.blogspot.com/2018/07/enforcing-rules-at-compile-time-example.html 3 comments 25/7/2018 scala
• Practical Awesome Recursion - Ch 02: Catamorphisms https://japgolly.blogspot.com.au/2017/12/practical-awesome-recursion-ch-02.html 5 comments 13/12/2017 scala
• Practical Awesome Recursion -- Ch 01: Fixpoints https://japgolly.blogspot.com.au/2017/11/practical-awesome-recursion-ch-01.html 11 comments 20/11/2017 scala
• Dependently-Typed Functions [blog-post] http://japgolly.blogspot.com/2017/06/dependently-typed-functions.html 10 comments 5/6/2017 scala
• An Example of Functional Programming (aimed at non-FP'ers) http://japgolly.blogspot.com.au/2014/09/an-example-of-functional-programming.html 16 comments 28/9/2014 programming
• A Year of Functional Programming http://japgolly.blogspot.com.au/2014/06/a-year-of-functional-programming.html 15 comments 9/6/2014 haskell
• A Year of Functional Programming. (reflections from an OO-er's perspective) http://japgolly.blogspot.com.au/2014/06/a-year-of-functional-programming.html 454 comments 9/6/2014 programming
• Scala Methods vs Functions http://japgolly.blogspot.com/2013/10/scala-methods-vs-functions.html 3 comments 30/10/2013 scala