Automatically generating the dynamic semantics of gradually typed languages.

Matteo Cimini, Jeremy G. Siek

Browse the full POPL paper archive.