Autor der Publikation

Embedded Probabilistic Programming.

, und . DSL, Volume 5658 von Lecture Notes in Computer Science, Seite 360-384. Springer, (2009)

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 Reasoned Schemer, , und . The MIT Press, (Juli 2005)Non-canonical Coordination in the Transformational Approach.. JSAI-isAI Workshops, Volume 10247 von Lecture Notes in Computer Science, Seite 33-44. Springer, (2016)Applicative Abstract Categorial Grammars in Full Swing.. JSAI-isAI Workshops, Volume 10091 von Lecture Notes in Computer Science, Seite 66-78. (2015)Polynomial Event Semantics - Non-Montagovian Proper Treatment of Quantifiers.. JSAI-isAI Workshops, Volume 11717 von Lecture Notes in Computer Science, Seite 313-324. Springer, (2018)Finally, safely-extensible and efficient language-integrated query., , und . PEPM, Seite 37-48. ACM, (2016)Implementing Metcast in Scheme.. High. Order Symb. Comput., 18 (3-4): 355-370 (2005)Many more predecessors: A representation workout.. J. Funct. Program., (2020)Session Types Without Sophistry - System Description., und . FLOPS, Volume 12073 von Lecture Notes in Computer Science, Seite 66-87. Springer, (2020)Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7)., , und . NII Shonan Meet. Rep., (2014)Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14)., , und . NII Shonan Meet. Rep., (2018)