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

Unification and polymorphism in region inference., and . Proof, Language, and Interaction, page 389-424. The MIT Press, (2000)Linear Abadi and Plotkin Logic, , and . CoRR, (2006)Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages, , and . CoRR, (2006)A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces., , and . FoSSaCS, volume 6604 of Lecture Notes in Computer Science, page 305-319. Springer, (2011)Guarded Dependent Type Theory with Coinductive Types., , , , and . FoSSaCS, volume 9634 of Lecture Notes in Computer Science, page 20-35. Springer, (2016)Bigraphical Models of Context-Aware Systems., , , , and . FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 187-201. Springer, (2006)Relational Parametricity and Separation Logic., and . FoSSaCS, volume 4423 of Lecture Notes in Computer Science, page 93-107. Springer, (2007)Relational Interpretations of Recursive Types in an operational Setting (Summary)., and . TACS, volume 1281 of Lecture Notes in Computer Science, page 458-490. Springer, (1997)Fictional Separation Logic., and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 377-396. Springer, (2012)A relational realizability model for higher-order stateful ADTs., , and . J. Log. Algebraic Methods Program., 81 (4): 491-521 (2012)