Typing dynamic typing.

Arthur I. Baars, S. Doaitse Swierstra

Browse the full ICFP paper archive.