💾 Archived View for dcreager.net › 2023 › 01 › 27-reading-log.gmi captured on 2023-07-22 at 16:22:20. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
2023-01-27
Dug into type inference with recursive types while messing with a concatenative Swanson. Found a reference to [Jim1999] in TAPL.
[Jim1999] Type inference in systems of recursive types with subtyping