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

Disjunctive Delimited Control., and . LOPSTR, volume 13290 of Lecture Notes in Computer Science, page 75-91. Springer, (2021)Tabling with Sound Answer Subsumption., , , and . Theory Pract. Log. Program., 16 (5-6): 933-949 (2016)From PRISM to ProbLog and Back Again., and . PLP@ILP, volume 1916 of CEUR Workshop Proceedings, page 26-40. CEUR-WS.org, (2017)Fixing non-determinism., , and . IFL, page 5:1-5:12. ACM, (2015)Tabling as a Library with Delimited Control., , , and . IJCAI, page 4145-4149. IJCAI/AAAI Press, (2016)Declarative Pearl: Rigged Contracts., and . FLOPS, volume 14659 of Lecture Notes in Computer Science, page 99-114. Springer, (2024)PλωNK: functional probabilistic NetKAT., and . Proc. ACM Program. Lang., 4 (POPL): 39:1-39:27 (2020)Forward- or reverse-mode automatic differentiation: What's the difference?, , , and . Sci. Comput. Program., (January 2024)The Functional Perspective on Advanced Logic Programming.. ICLP (Technical Communications), volume 52 of OASIcs, page 20:1-20:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)