Typing dynamic typing (2002)

by Arthur I. Baars, S. Doaitse Swierstra
Venue:ICFP ’02: Proceedings of the 7th ACM SIGPLAN International Conference on Functional Programming