New answers tagged type-inference
4
votes
"Spurious" Type Equivalences in MLSub/Algebraic Subtyping
I'm late to the party, but I'd like to make a small clarification.
I did not really mean that MLsub has "too many" type equivalences. As explained in the same section of the Simple-sub paper ...
- 213
Top 50 recent answers are included