Lobsters
- polysubml-demo: A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference https://github.com/Storyyeller/polysubml-demo 2 comments ml , plt
Linking pages
- Why You Need Subtyping | Considerations on Codecrafting https://blog.polybdenum.com/2025/03/26/why-you-need-subtyping.html 163 comments
- The problem with type aliases | Considerations on Codecrafting https://blog.polybdenum.com/2025/03/01/the-problem-with-type-aliases.html 45 comments
- Designing type inference for high quality type errors | Considerations on Codecrafting https://blog.polybdenum.com/2025/02/14/designing-type-inference-for-high-quality-type-errors.html 12 comments
Linked pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.