%0 Conference Proceedings
%F car85
%A Cartwright, R.
%T Types as Intervals
%B Proc. 12th ACM Symp. on Principles of Programming Languages
%P 22-36
%C New Orleans, Louisiana
%8 January
%D 1985
%K rectype
%K  parametricity