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

XTATIC., , , and . PLAN-X, page 88. BRICS, Department of Computer Science, University of Aarhus, (2006)Higher-Order Subtyping., and . PROCOMET, volume A-56 of IFIP Transactions, page 511-530. North-Holland, (1994)Pict: a programming language based on the Pi-Calculus., and . Proof, Language, and Interaction, page 455-494. The MIT Press, (2000)Distance makes the types grow stronger: a calculus for differential privacy., and . ICFP, page 157-168. ACM, (2010)Lambda, the ultimate TA: using a proof assistant to teach programming language foundations.. ICFP, page 121-122. ACM, (2009)Advanced module systems: a guide for the perplexed (abstract of invited talk)., and . ICFP, page 130. ACM, (2000)SIGPLAN Notices 35(9), September 2000.Art, science, and fear.. OOPSLA, page 2. ACM, (2010)Beginner's luck: a language for property-based generators., , , , , and . POPL, page 114-129. ACM, (2017)A bisimulation for dynamic sealing., and . POPL, page 161-172. ACM, (2004)Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing., , , and . ESOP, volume 12648 of Lecture Notes in Computer Science, page 264-291. Springer, (2021)