💾 Archived View for dcreager.net › 2023 › 01 › 27-reading-log.gmi captured on 2023-11-14 at 08:16:26. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-07-22)
-=-=-=-=-=-=-
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