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

Filling typed holes with live GUIs., , , , , and . PLDI, page 511-525. ACM, (2021)Sketch-n-Sketch: Output-Directed Programming for SVG., , and . UIST, page 281-292. ACM, (2019)Projectional Editors for JSON-Based DSLs., and . VL/HCC, page 60-70. IEEE, (2023)A Bidirectional Krivine Evaluator., and . Bx@PLW, volume 2355 of CEUR Workshop Proceedings, page 56-60. CEUR-WS.org, (2019)Integrated Visualization Editing via Parameterized Declarative Templates., and . CHI, page 17:1-17:14. ACM, (2021)Type-Directed Program Transformations for the Working Functional Programmer., and . PLATEAU@UIST, volume 76 of OASIcs, page 3:1-3:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Tiny Structure Editors for Low, Low Prices! (Generating GUIs from toString Functions)., and . VL/HCC, page 1-5. IEEE, (2020)A Study of Editor Features in a Creative Coding Classroom., , and . CHI, page 121:1-121:15. ACM, (2023)Maniposynth: Bimodal Tangible Functional Programming., and . ECOOP, volume 222 of LIPIcs, page 16:1-16:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)