[TYPES] Decidability of polymorphic recursion revisited

Lukasz Stafiniak lukstafi at wp.pl
Tue May 17 16:50:57 EDT 2005


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




More information about the Types-list mailing list