Jean-Pierre Talpin Pierre Jouvelot Polymorphic Type, Region and Effect Inference. 245-271 1992 2 J. Funct. Program. 3 db/journals/jfp/jfp2.html#TalpinJ92