Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Deep and shallow types.. Northeastern University, USA, (2020)Getting F-bounded polymorphism into shape., , and . PLDI, page 89-99. ACM, (2014)The behavior of gradual types: a user study., , , and . DLS, page 1-12. ACM, (2018)Privacy-Respecting Type Error Telemetry at Scale., , , and . CoRR, (2024)Type systems as macros., , and . POPL, page 694-705. ACM, (2017)Rhombus: A New Spin on Macros without All the Parentheses., , , , , , , , , and 5 other author(s). Proc. ACM Program. Lang., 7 (OOPSLA2): 574-603 (October 2023)Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions., , , , and . Koli Calling, page 2:1-2:7. ACM, (2022)Migratory Typing: Ten Years Later., , , , , , , , and . SNAPL, volume 71 of LIPIcs, page 17:1-17:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Type Tailoring., , , and . ECOOP, volume 313 of LIPIcs, page 44:1-44:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)On the cost of type-tag soundness., and . PEPM, page 30-39. ACM, (2018)