Author of the publication

On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control.

, , , and . CoRR, (2016)

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

Engagement in Non-Driving Related Tasks as a Non-Intrusive Measure for Mode Awareness: A Simulator Study., , , , and . Information, 11 (5): 239 (2020)Call-by-push-value in coq: operational, equational, and denotational theory., , , and . CPP, page 118-131. ACM, (2019)Self-report measures for the assessment of human-machine interfaces in automated driving., , , , and . Cogn. Technol. Work., 22 (4): 703-720 (2020)Computability in constructive type theory.. Saarland University, Germany, (2021)Cross-Cultural Differences: Is a Weighting Scheme for the User Experience Questionnaire Worth Considering?, , , , and . AutomotiveUI (Adjunct Proceedings), page 48-52. ACM, (2023)The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions., , and . CSL, volume 288 of LIPIcs, page 29:1-29:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Coq à la carte: a practical approach to modular syntax with binders., and . CPP, page 186-200. ACM, (2020)A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl)., , and . CPP, page 159-166. ACM, (2023)Development of Trust Measure in Biometric Technology., , , , and . HICSS, page 1-8. ScholarSpace, (2019)Empirical Validation of a Checklist for Heuristic Evaluation of Automated Vehicle HMIs., , , , and . AHFE (13), volume 964 of Advances in Intelligent Systems and Computing, page 3-14. Springer, (2019)