( en | de | ru )

 

Disambiguation of "Leijen, Daan"

Author of the publication

copydeleteadd this publication to your clipboard
Cloud Types for Eventual Consistency.

, , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 283-307. Springer, (2012)

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.

Daan Christiaens

Christiane Daanay

 

Other publications of authors with the same name

Continuing WebAssembly with Effect Handlers., , , , , , , and . CoRR, (2023)Type directed compilation of row-typed algebraic effects.. POPL, page 486-499. ACM, (2017)Prettier concurrency: purely functional concurrent revisions., , and . Haskell, page 83-94. ACM, (2011)Qualified types for MLF., and . ICFP, page 144-155. ACM, (2005)Koka: Programming with Row Polymorphic Effect Types.. MSFP, volume 153 of EPTCS, page 100-126. (2014)Domain specific embedded compilers., and . DSL, page 109-122. ACM, (1999)Implementing Algebraic Effects in C - "Monads for Free in C".. APLAS, volume 10695 of Lecture Notes in Computer Science, page 339-363. Springer, (2017)First-class names for effect handlers., , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 30-59 (2022)Semantics of Concurrent Revisions., and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 116-135. Springer, (2011)Structured asynchrony with algebraic effects.. TyDe@ICFP, page 16-29. ACM, (2017)