Henry DeYoung
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2011–2022
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ESOP | Polarized Subtyping. | Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning |
| 2021 | ESOP | Nested Session Types. | Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning |
| 2020 | FSCD | Semi-Axiomatic Sequent Calculus. | Henry DeYoung, Frank Pfenning, Klaas Pruiksma |
| 2016 | APLAS | Substructural Proofs as Automata. | Henry DeYoung, Frank Pfenning |
| 2012 | CSL | Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. | Henry DeYoung, Lus Caires, Frank Pfenning, Bernardo Toninho |
| 2011 | ICISS | Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. | Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha |