Author of the publication

Probabilistic Inference by Program Transformation in Hakaru (System Description).

, , , , and . FLOPS, volume 9613 of Lecture Notes in Computer Science, page 62-79. Springer, (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

Delimited continuations in natural language: quantification and polarity sensitivity. CoRR, (2004)The Partition Semantics of Questions, Syntactically, and . Proc. 7th ESSLLI Student Session, (2002)The case for JavaScript transactions: position paper., , and . PLAS, page 6. ACM, (2010)Delimited Continuations in Operating Systems., and . CONTEXT, volume 4635 of Lecture Notes in Computer Science, page 291-302. Springer, (2007)Enhancing JavaScript with Transactions., , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 383-408. Springer, (2012)Lightweight monadic regions., and . Haskell, page 1-12. ACM, (2008)Combinators for impure yet hygienic code generation., , and . PEPM, page 3-14. ACM, (2014)J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations., , and . DSL, volume 5658 of Lecture Notes in Computer Science, page 1-19. Springer, (2009)Embedded Probabilistic Programming., and . DSL, volume 5658 of Lecture Notes in Computer Science, page 360-384. Springer, (2009)An Analysis of the Mozilla Jetpack Extension Framework., , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 333-355. Springer, (2012)