Dear List, Has the issue involving type inferece algorithm from the article "Decidable Type Inference For Polymorphic Recursion" by Lucilia Figueiredo and Carlos Camarao and undecidability of the problem been resolved or is it an "open problem"? Thank You in advance, Lukasz Stafiniak