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 ...
Top 50 recent answers are included
Related Tags
type-inference × 44type-theory × 33
pl.programming-languages × 15
type-systems × 13
polymorphism × 7
lambda-calculus × 5
dependent-type × 5
reference-request × 4
lo.logic × 4
functional-programming × 3
ds.algorithms × 2
typed-lambda-calculus × 2
coq × 2
linear-logic × 2
imperative-programming × 2
fl.formal-languages × 1
automata-theory × 1
computability × 1
ct.category-theory × 1
decidability × 1
automated-theorem-proving × 1
proof-assistants × 1
program-verification × 1
calculus-of-constructions × 1
recursion × 1