3 ms·
The Simple Essence of Algebraic Subtyping: Principal Type Inference
- kristianp 6y agoBlog post: https://lptk.github.io/programming/2020/03/26/demystifying-mlsub.html https://lptk.github.io/programming/2020/03/26/demystifying-m... Preprint article: https://lptk.github.io/simple-sub-paper https://lptk.github.io/simple-sub-paper