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

Operational semantics for multi-language programs., and . POPL, page 3-10. ACM, (2007)Blame for all., , , and . STOP@ECOOP, page 1-13. ACM, (2009)Relationally-parametric polymorphic contracts., , , and . DLS, page 29-40. ACM, (2007)Automatically Restructuring Programs for the Web., , , , and . Autom. Softw. Eng., 11 (4): 337-364 (2004)Revised6 Report on the Algorithmic Language Scheme., , , , , and . Cambridge University Press, (2010)An operational semantics for Scheme., and . J. Funct. Program., 18 (1): 47-86 (2008)Operational semantics for multi-language programs., and . ACM Trans. Program. Lang. Syst., 31 (3): 12:1-12:44 (2009)A Visual Environment for Developing Context-Sensitive Term Rewriting Systems., , , and . RTA, volume 3091 of Lecture Notes in Computer Science, page 301-311. Springer, (2004)Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!., and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 16-31. Springer, (2008)