Challenges and progress toward efficient gradual typing (invited talk) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jeremy G. Siek. Challenges and progress toward efficient gradual typing (invited talk). In Davide Ancona, editor, Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017. pages 2, ACM, 2017. [doi]

The following publications are possibly variants of this publication:

The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk)Jeremy G. Siek. calco 2023: [doi]

Toward efficient gradual typing for structural types via coercionsAndre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek. PLDI 2019: 517-532 [doi]

runs on WebDSL