1 paper · 1 filter
Sabine Glesner, Karl Stroetmann
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are a…