%O Report 
%F shin90
%A Shin, D.
%T Toward Optimal Type Checking for the Polymorphic Type System of Prolog
%N 0
%I Int'l Inst. for Advanced Study of Social Information Science, Fujitsu Lab's, Ltd
%8 December
%D 1990
%K parametricity