%O Report %F tajo92a %A Talpin, J.-P. %A Jouvelot, P. %T The Type and Effect Discipline (Extended Version) %N 0 %I Ecole des Mines de Paris %8 December %D 1991 %K parametricity