Archives

Posts

• Implementing a bi-directional type checker for the simply-typed lambda calculus - August 14, 2025
• How to achieve proper tail calls in C - June 8, 2025

Notes

• [Book] The Reasoned Schemer
• [Book] Typed Systems (TAPL 8-14)
• [Book] Untyped Systems (TAPL 3-7)
• [Paper] Gradual Typing for Functional Languages
• [Paper] Bidirectional Typing Rules: A Tutorial