%0 Conference Proceedings
%F here95
%A Henglein, Fritz
%A Rehof, Jakob
%T Safe polymorphic type inference for a dynamically typed language: Translating {Scheme} to {ML}
%B FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture
%P 192-203
%I ACM
%C New York, NY, USA
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/henglein1995.pdf
%U http://doi.acm.org/10.1145/224164.224203
%8 June
%D 1995
%K dyntyp
%K  parametricity