[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 

Thank You in advance,
Lukasz Stafiniak

More information about the Types-list mailing list