Challenges and progress toward efficient gradual typing (invited talk).

Jeremy G. Siek

Browse the full DLS paper archive.