Tag: Type Inference
- July 5, 2024 Part 4: TypeChecking Top Level Functions
- October 21, 2023 Part 3: Rowing Afloat Datatype Boats
- July 1, 2023 Part 2: Tying up Type Inference
- June 24, 2023 Part 1: Bidirectional Constraint Generation
- June 17, 2023 Part 0: Designing a Language without a Parser