2017

• 12 Jan Deeply typed programming languages

2016

• 15 Sep Algebraic Types and Rudimentary Coding
• 03 May TDD vs Static Typing

2015

• 29 Oct Covariance and Contravariance
• 05 Oct Type Inference
• 17 Aug Anti-OOP Design Patterns
• 31 Jul Rust Data Ownership, Part I