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

Introduction to the Special Issue on ESOP 2018.. ACM Trans. Program. Lang. Syst., 42 (1): 1:1 (2020)Fully abstract compilation via universal embedding., , and . ICFP, page 103-116. ACM, (2016)Typed closure conversion preserves observational equivalence., and . ICFP, page 157-168. ACM, (2008)08061 Abstracts Collection -- Types, Logics and Semantics for State., , , and . Types, Logics and Semantics for State, volume 08061 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)08061 Executive Summary -- Types, Logics and Semantics for State., , , and . Types, Logics and Semantics for State, volume 08061 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)Linking Types for Multi-Language Software: Have Your Cake and Eat It Too., and . SNAPL, volume 71 of LIPIcs, page 12:1-12:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Blame for all., , , and . POPL, page 201-214. ACM, (2011)Lilac: A Modal Separation Logic for Conditional Probability., , and . Proc. ACM Program. Lang., 7 (PLDI): 148-171 (2023)Noninterference for free., and . ICFP, page 101-113. ACM, (2015)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)