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

Implementing Algebraic Effects in C - "Monads for Free in C".. APLAS, volume 10695 of Lecture Notes in Computer Science, page 339-363. Springer, (2017)Semantics of Concurrent Revisions., and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 116-135. Springer, (2011)HMF: simple type inference for first-class polymorphism.. ICFP, page 283-294. ACM, (2008)Structured asynchrony with algebraic effects.. TyDe@ICFP, page 16-29. ACM, (2017)Sound and Complete Type Inference for Closed Effect Rows., , , and . TFP, volume 13401 of Lecture Notes in Computer Science, page 144-168. Springer, (2022)Type directed compilation of row-typed algebraic effects.. POPL, page 486-499. ACM, (2017)Qualified types for MLF., and . ICFP, page 144-155. ACM, (2005)Prettier concurrency: purely functional concurrent revisions., , and . Haskell, page 83-94. ACM, (2011)Domain specific embedded compilers., and . DSL, page 109-122. ACM, (1999)Tail Recursion Modulo Context: An Equational Approach., and . Proc. ACM Program. Lang., 7 (POPL): 1152-1181 (January 2023)