The design and implementation of Typed Scheme. (2008)

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