¶Reading log
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
This page is also available via Gemini at gemini://dcreager.net/2023/01/27-reading-log.gmi