Autor der Publikation

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).

, , , und . FLOPS, Volume 4989 von Lecture Notes in Computer Science, Seite 64-80. Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren., , , , , , , , , und 4 andere Autor(en). Frontiers Artif. Intell., (2022)Towards answering Äm I on the right track?" automatically using program synthesis., , , , und . SPLASH-E, Seite 13-24. ACM, (2019)Kanor - A Declarative Language for Explicit Communication., , , , , und . PADL, Volume 6539 von Lecture Notes in Computer Science, Seite 190-204. Springer, (2011)The Reasoned Schemer, , und . The MIT Press, (Juli 2005)miniKanren, live and untagged: quine generation via relational interpreters (programming pearl)., , und . Scheme@ICFP, Seite 8-29. ACM, (2012)Declarative Parallel Programming for GPUs., , , , , und . PARCO, Volume 22 von Advances in Parallel Computing, Seite 297-304. IOS Press, (2011)Lightweight Functional Logic Meta-Programming., , und . APLAS, Volume 11893 von Lecture Notes in Computer Science, Seite 225-243. Springer, (2019)Multi-objective generative AI for designing novel brain-targeting small molecules., , , und . CoRR, (2024)Leveraging Constraint Logic Programming for Neural Guided Program Synthesis., , , , , , und . ICLR (Workshop), OpenReview.net, (2018)A unified approach to solving seven programming problems (functional pearl)., , , und . Proc. ACM Program. Lang., 1 (ICFP): 8:1-8:26 (2017)