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)Program Synthesis with Live Bidirectional Evaluation., , , and . CoRR, (2019)Tiny Structure Editors for Low, Low Prices! (Generating GUIs from toString Functions)., and . VL/HCC, page 1-5. IEEE, (2020)Program sketching with live bidirectional evaluation., , , and . Proc. ACM Program. Lang., 4 (ICFP): 109:1-109:29 (2020)Maniposynth: Bimodal Tangible Functional Programming., and . ECOOP, volume 222 of LIPIcs, page 16:1-16:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A Study of Editor Features in a Creative Coding Classroom., , and . CHI, page 121:1-121:15. ACM, (2023)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)A Bidirectional Krivine Evaluator., and . Bx@PLW, volume 2355 of CEUR Workshop Proceedings, page 56-60. CEUR-WS.org, (2019)