Polymorphic Type, Region and Effect Inference

Jean-Pierre Talpin, Pierre Jouvelot. Polymorphic Type, Region and Effect Inference. Journal of Functional Programming, 2(3):245-271, 1992.

Abstract

Abstract is missing.