All Posts

• Compiler Engineering for Substructural Languages I: Day Convolution for Covers Feb 17, 2025
• Compiler Engineering for Substructural Languages I: The Problem with Polymorphism Feb 14, 2025
• Well-Typed Substructural Languages Aug 26, 2024
• Introduction to Recursion Schemes with Idris Apr 4, 2024
• From Lambda Calculus to Bicartesian Closed Categories Sep 23, 2023
• Lambda Calculus and Bicartesian Closed Categories Aug 25, 2023