%0 Conference Proceedings
%F paok95
%A Palsberg, Jens
%A O'Keefe, Patrick
%T A Type System Equivalent to Flow Analysis
%B Proc. 22nd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL), San Francisco, California
%P 367-378
%I ACM Press
%C acmpubs@acm.org
%8 January
%D 1995
%K dyntyp
%K  rectype