J. Talpin, P. Jouvelot. Polymorphic Type, Region and Effect Inference. Research Report Ecole des Mines de Paris, No 0, February 1991.
[ Parametricity ]
@TechReport{tajo91c,
Author = {Talpin, J. and Jouvelot, P.},
Title = {Polymorphic Type, Region and Effect Inference},
Number = {0},
Institution = {Ecole des Mines de Paris},
Month = {February},
Year = {1991}
}
Get EndNote Reference (.ref)