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

Latent Effects for Reusable Language Components: Extended Version., , , and . CoRR, (2021)A Calculus for Scoped Effects & Handlers., , , and . CoRR, (2023)Forward- or Reverse-Mode Automatic Differentiation: What's the Difference?, , , and . CoRR, (2022)Structured Handling of Scoped Effects: Extended Version., , , , and . CoRR, (2022)Automatic Differentiation in Prolog., , and . Theory Pract. Log. Program., 23 (4): 900-917 (July 2023)A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl., and . FLOPS, volume 13215 of Lecture Notes in Computer Science, page 186-204. Springer, (2022)A Framework for Higher-Order Effects & Handlers., and . CoRR, (2023)Structured Handling of Scoped Effects., , , , and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 462-491. Springer, (2022)sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper)., , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 73-82. Springer, (2023)Forward- or reverse-mode automatic differentiation: What's the difference?, , , and . Sci. Comput. Program., (January 2024)