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

Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts., , , and . J. Funct. Program., 22 (2): 181-216 (2012)Contextual equivalence for a probabilistic language with continuous random variables and recursion., , , and . Proc. ACM Program. Lang., 2 (ICFP): 87:1-87:30 (2018)Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring., and . ESOP, volume 10201 of Lecture Notes in Computer Science, page 368-392. Springer, (2017)Fortifying macros., and . ICFP, page 235-246. ACM, (2010)Taming Macros., and . GPCE, volume 3286 of Lecture Notes in Computer Science, page 225-243. Springer, (2004)Debugging hygienic macros., and . Sci. Comput. Program., 75 (7): 496-515 (2010)Syntactic Abstraction in Component Interfaces., , and . GPCE, volume 3676 of Lecture Notes in Computer Science, page 373-388. Springer, (2005)Pattern-Based S-Expression Rewriting in Emacs.. ELS, page 8-10. ELSAA, (2019)Fortifying macros.. J. Funct. Program., 22 (4-5): 439-476 (2012)Debugging macros., and . GPCE, page 135-144. ACM, (2007)