Hacker News new | ask | show | jobs
Demystifying MLsub – The Simple Essence of Algebraic Subtyping (lptk.github.io)
1 points by weatherlight 28 days ago