%0 Conference Proceedings
%F hofe2010
%A Tobin-Hochstadt, Sam
%A Felleisen, Matthias
%T Logical types for untyped languages
%B Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
%P 117-128
%S ICFP '10
%I ACM
%C New York, NY, USA
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/tobin-hochstadt2010b.pdf
%U http://doi.acm.org/10.1145/1863543.1863561
%D 2010
%K  dyntyp