Toward efficient gradual typing for structural types via coercions.

Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek

Browse the full PLDI paper archive.