thunderseethe
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Compiler Education Deserves a Revolution (thunderseethe.dev)
- How to choose between Hindley-Milner and bidirectional typing (thunderseethe.dev)
- What's in a Module? (thunderseethe.dev)
- Tying Up Type Inference (thunderseethe.dev)
- Type Inference: Bidirectional Constraint Generation (thunderseethe.dev)
- Designing a Language Without a Parser (thunderseethe.dev)