Tag: Programming Languages
- What's in a Module?July 31, 2023 ⊢ A discussion of the overloaded use of modules in languages
- Tying up Type InferenceJuly 1, 2023 ⊢ Solve Type Constraints via Unification
- Turning Our AST Into Type ConstraintsJune 24, 2023 ⊢ Generate Type Constraints with a Bidirectional Type System
- Typechecking a Language without a ParserJune 17, 2023 ⊢ Designing a language, types first