Author of the publication

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)

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 . Theory Pract. Log. Program., 24 (1): 110-131 (January 2024)Tabling with Sound Answer Subsumption., , , and . Theory Pract. Log. Program., 16 (5-6): 933-949 (2016)Fixing non-determinism., , and . IFL, page 5:1-5:12. ACM, (2015)From PRISM to ProbLog and Back Again., and . PLP@ILP, volume 1916 of CEUR Workshop Proceedings, page 26-40. CEUR-WS.org, (2017)Disjunctive Delimited Control., and . LOPSTR, volume 13290 of Lecture Notes in Computer Science, page 75-91. Springer, (2021)PλωNK: functional probabilistic NetKAT., and . Proc. ACM Program. Lang., 4 (POPL): 39:1-39:27 (2020)Disjunctive Delimited Control., and . CoRR, (2020)Forward- or reverse-mode automatic differentiation: What's the difference?, , , and . Sci. Comput. Program., (January 2024)Tabling as a Library with Delimited Control., , , and . IJCAI, page 4145-4149. IJCAI/AAAI Press, (2016)Forward- or Reverse-Mode Automatic Differentiation: What's the Difference?, , , and . CoRR, (2022)