Polymorphic Type, Region and Effect Inference.

Jean-Pierre Talpin Pierre Jouvelot Polymorphic Type, Region and Effect Inference. 26-32 1991 JTASPEFT/WSA db/conf/sas/wsa91.html#TalpinJ91