## User login## Navigation |
## The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made EasyThe Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy, Lionel Parreaux, ICFP 2020.
There's also an introductory blog post and an online demo. Stephen Dolan's Algebraic Subtyping (discussion) unexpectedly provided a solution to the problem of combining type inference and subtyping, but used somewhat heavy and unusual machinery. Now Lionel Parreaux shows that the system can be implemented in a very straightforward and pleasing way. Here's to hoping that it makes it into real languages! |
## Browse archives## Active forum topics |

## Recent comments

2 hours 51 min ago

1 day 15 hours ago

3 days 21 hours ago

4 days 16 hours ago

4 days 18 hours ago

5 days 18 hours ago

6 days 16 hours ago

6 days 17 hours ago

6 days 21 hours ago

6 days 21 hours ago