1 paper
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…