%O Report 
%F tajo91b
%A Talpin, J.
%A Jouvelot, P.
%T The Type and Effect Discipline
%N 0
%I Ecole des Mines de Paris
%8 July
%D 1991
%K parametricity