J.-P. Talpin, P. Jouvelot. The Type and Effect Discipline (Extended Version). Research Report Ecole des Mines de Paris, No 0, December 1991.
[ Parametricity ]
@TechReport{tajo92a,
Author = {Talpin, J.-P. and Jouvelot, P.},
Title = {The Type and Effect Discipline (Extended Version)},
Number = {0},
Institution = {Ecole des Mines de Paris},
Month = {December},
Year = {1991}
}
Get EndNote Reference (.ref)