Principal Type Schemes for Gradual Programs.

Ronald Garcia, Matteo Cimini

Browse the full POPL paper archive.