Abstracting gradual typing.

Ronald Garcia, Alison M. Clark, ric Tanter

Browse the full POPL paper archive.