Archives

Posts

• Implementing a bi-directional type checker for the simply-typed lambda calculus - August 14, 2025
• Implementing Proper Tail Calls in C - June 8, 2025

Notes

• Untyped Systems (TAPL 3-7)
• Gradual Typing for Functional Languages
• Bidirectional Typing