Author of the publication

Scoped Effects as Parameterized Algebraic Theories.

, , , , , and . ESOP (1), volume 14576 of Lecture Notes in Computer Science, page 3-21. Springer, (2024)

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

Design patterns for parser combinators in scala., and . SCALA@ECOOP, page 9-21. ACM, (2022)Folding over Neural Networks., and . MPC, volume 13544 of Lecture Notes in Computer Science, page 129-150. Springer, (2022)The Evolution of Effects (Keynote).. Haskell, page 2. ACM, (2023)Oregano: staging regular expressions with Moore Cayley fusion., , and . Haskell, page 66-80. ACM, (2022)Staged sums of products., , and . Haskell@ICFP, page 122-135. ACM, (2020)Multi-stage programs in context., , and . Haskell@ICFP, page 71-84. ACM, (2019)Breadth-First Traversal via Staging., , , and . MPC, volume 13544 of Lecture Notes in Computer Science, page 1-33. Springer, (2022)Monad transformers and modular algebraic effects: what binds them together., , , and . Haskell@ICFP, page 98-113. ACM, (2019)Design patterns for parser combinators (functional pearl)., and . Haskell, page 71-84. ACM, (2021)Modular Probabilistic Models via Algebraic Effects., , , and . CoRR, (2022)