Typing Dynamic Typing. Pages 157–166 of (2002)

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