Hacker News
- Algebraic Subtyping (2016) [pdf] https://www.cl.cam.ac.uk/~sd601/thesis.pdf 58 comments
- Demystifying MLsub – The Simple Essence of Algebraic Subtyping https://lptk.github.io/programming/2020/03/26/demystifying-mlsub.html 8 comments
Lobsters
- Algebraic Subtyping https://www.cl.cam.ac.uk/~sd601/thesis.pdf 21 comments rust
- Algebraic Subtyping [pdf] https://www.cl.cam.ac.uk/~sd601/thesis.pdf 9 comments haskell
- Algebraic subtyping [pdf] https://www.cl.cam.ac.uk/~sd601/thesis.pdf 6 comments scala
- Notes on Implementing Algebraic Subtyping https://semantic.org/post/notes-on-implementing-algebraic-subtyping/ 30 comments programminglanguages
- Algebraic Subtyping [pdf] - Thesis by Stephen Dolan https://www.cl.cam.ac.uk/~sd601/thesis.pdf 3 comments rust
- Stephen Dolan's PhD thesis on "Algebraic Subtyping": a resource for future extensions of Rust's type system http://ocamllabs.io/general/2017/03/03/algebraic-subtyping.html 4 comments rust