The gradualizer: a methodology and algorithm for generating gradual type systems.

Matteo Cimini, Jeremy G. Siek

Browse the full POPL paper archive.