The design and implementation of typed scheme (2008)

by S Tobin-Hochstadt, M Felleisen
Venue:In Proc. ACM Symposium on Principles of Programming Languages