Dynamic Typing as Staged Type Inference.

Mark Shields, Tim Sheard, Simon L. Peyton Jones

Browse the full POPL paper archive.