From post

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.

 

Другие публикации лиц с тем же именем

Exploring the Learnability of Program Synthesizers by Novice Programmers., , и . UIST, стр. 64:1-64:15. ACM, (2022)How Statically-Typed Functional Programmers Author Code.. CHI Extended Abstracts, стр. 484:1-484:6. ACM, (2021)Sketch-n-Sketch: Output-Directed Programming for SVG., , и . UIST, стр. 281-292. ACM, (2019)Equivalence by Canonicalization for Synthesis-Backed Refactoring., , , , и . Proc. ACM Program. Lang., 8 (PLDI): 1879-1904 (2024)Type-Directed Program Transformations for the Working Functional Programmer., и . PLATEAU@UIST, том 76 из OASIcs, стр. 3:1-3:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)