Dynamic typing through staged type inference (1998)

by Mark Shields, Tim Sheard, Simon L Peyton Jones
Venue:In In proceedings of the ACM Symposium on Principles of Programming Languages (POPL