Big types in little runtime: open-world soundness and collaborative blame for gradual type systems.

Michael M. Vitousek, Cameron Swords, Jeremy G. Siek

Browse the full POPL paper archive.