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.

 

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

Capture-Avoiding Program Transformations with name-fix., , и . Software Engineering & Management, том P-239 из LNI, стр. 93-94. GI, (2015)Language-integrated privacy-aware distributed queries., , , , , и . Proc. ACM Program. Lang., 3 (OOPSLA): 167:1-167:30 (2019)Scalable incremental building with dynamic task dependencies., , и . ASE, стр. 76-86. ACM, (2018)An extensible framework for variable-precision data-flow analyses in MPS., , , и . ASE, стр. 870-875. ACM, (2016)On Solving Solved Problems.. Eelco Visser Commemorative Symposium, том 109 из OASIcs, стр. 10:1-10:6. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Capture-Avoiding and Hygienic Program Transformations (incl. Proofs)., , и . CoRR, (2014)Efficient development of consistent projectional editors using grammar cells., , , , , и . SLE, стр. 28-40. ACM, (2016)Incrementalizing lattice-based program analyses in Datalog., , , и . Proc. ACM Program. Lang., 2 (OOPSLA): 139:1-139:29 (2018)A co-contextual formulation of type rules and its application to incremental type checking., , , , и . OOPSLA, стр. 880-897. ACM, (2015)Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages., , , и . SLE, стр. 3-15. ACM, (2018)