Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.

Cristiano Vasconcellos Lucília Figueiredo Carlos Camarão Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. 873-890 2003 9 J. UCS 8 http://www.jucs.org/jucs_9_8/practical_type_inference_for db/journals/jucs/jucs9.html#VasconcellosFC03