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

Ill-Typed Programs Don't Evaluate., and . CoRR, (2023)Effect Handlers for Programmable Inference., , , and . Haskell, page 44-58. ACM, (2023)Effects and Effect Handlers for Programmable Inference., , , and . CoRR, (2023)Ill-Typed Programs Don't Evaluate., and . Proc. ACM Program. Lang., 8 (POPL): 2010-2040 (January 2024)Higher-Order MSL Horn Constraints., , and . Proc. ACM Program. Lang., 7 (POPL): 2017-2047 (January 2023)DEQ: Equivalence Checker for Deterministic Register Automata., , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 350-356. Springer, (2019)Higher-Order MSL Horn Constraints., , and . CoRR, (2022)Intersection types and higer-order model checking.. University of Oxford, UK, (2014)British Library, EThOS.Reachability in Pushdown Register Automata., , and . MFCS (1), volume 8634 of Lecture Notes in Computer Science, page 464-473. Springer, (2014)Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata., , and . MFCS, volume 117 of LIPIcs, page 72:1-72:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)