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

Synthesis of Recursive ADT Transformations from Reusable Templates., , , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 247-263. (2017)Combining Form and Function: Static Types for JQuery Programs., , , and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 79-103. Springer, (2013)Integrated Data Science for Secondary Schools: Design and Assessment of a Curriculum., , , , , , , and . SIGCSE (1), page 22-28. ACM, (2022)Event Loops as First-Class Values: A Case Study in Pedagogic Language Design., , , and . Art Sci. Eng. Program., 3 (3): 11 (2019)Data Science as a Route to AI for Middle- and High-School Students., , , , , and . CoRR, (2020)A tested semantics for getters, setters, and eval in JavaScript., , , , and . DLS, page 1-16. ACM, (2012)TeJaS: retrofitting type systems for JavaScript., , , and . DLS, page 1-16. ACM, (2013)Detecting conflicts among declarative UI extensions., and . DLS, page 95-106. ACM, (2012)From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only)., , , and . SIGCSE, page 1058. ACM, (2018)Verifying Web Browser Extensions' Compliance with Private-Browsing Mode., , , and . ESORICS, volume 8134 of Lecture Notes in Computer Science, page 57-74. Springer, (2013)