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

Dynamic Object Evolution without Name Collisions.. ECOOP, volume 1241 of Lecture Notes in Computer Science, page 190-219. Springer, (1997)Separation of Concerns with Procedures, Annotations, Advice and Pointcuts., and . ECOOP, volume 3586 of Lecture Notes in Computer Science, page 195-213. Springer, (2005)Connectors for bridging mismatches between the components of a software engineering environment., and . IEE Proc. Softw., 148 (3): 104-111 (2001)Dependently-Typed Data Plane Programming., , , , and . CoRR, (2022)LoRe: A Programming Model for Verifiably Safe Local-First Software., , , , and . CoRR, (2023)ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices., , , , , , , and . CoRR, (2020)Versatile event correlation with algebraic effects., , , , , and . Proc. ACM Program. Lang., 2 (ICFP): 67:1-67:31 (2018)Using Rewrite Strategies for Efficient Functional Automatic Differentiation., , and . FTfJP@ECOOP, page 51-57. ACM, (2023)Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact)., , , and . Dagstuhl Artifacts Ser., 9 (2): 26:1-26:4 (2023)GRASS: generic reactive application-specific scheduling., , , , , and . REBLS@SPLASH, page 21-30. ACM, (2019)