Henry DeYoung - RankMe

16 papers A 3B 4Misc 1Journal 6Unranked 2

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Parametric Subtyping for Structural Parametric Polymorphism. Proc. ACM Program. Lang. Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
2023	J	`jnl`	Parametric Subtyping for Structural Parametric Polymorphism. CoRR Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
2022	B	`conf`	Data Layout from a Type-Theoretic Perspective (extended version). MFPS Henry DeYoung, Frank Pfenning
2022	J	`jnl`	Nested Session Types. ACM Trans. Program. Lang. Syst. Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2022	A	`conf`	Polarized Subtyping. ESOP Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2022	J	`jnl`	Polarized Subtyping. CoRR Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2021	A	`conf`	Nested Session Types. ESOP Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2021	J	`jnl`	Subtyping on Nested Polymorphic Session Types. CoRR Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2020	J	`jnl`	Nested Session Types. CoRR Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2020	B	`conf`	Semi-Axiomatic Sequent Calculus. FSCD Henry DeYoung, Frank Pfenning, Klaas Pruiksma
2016	B	`conf`	Substructural Proofs as Automata. APLAS Henry DeYoung, Frank Pfenning
2012	B	`conf`	Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. CSL Henry DeYoung, Luís Caires, Frank Pfenning, Bernardo Toninho
2011	—	`conf`	Linear Logical Voting Protocols. VoteID Henry DeYoung, Carsten Schürmann
2011	Misc	`conf`	Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. ICISS Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha
2010	—	`conf`	Experiences in the logical specification of the HIPAA and GLBA privacy laws. WPES Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta
2008	A	`conf`	An Authorization Logic With Explicit Time. CSF Henry DeYoung, Deepak Garg, Frank Pfenning