Henry DeYoung

According to our database, Henry DeYoung authored at least 12 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Parametric Subtyping for Structural Parametric Polymorphism.

Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das

Proc. ACM Program. Lang., January, 2024

2022

Nested Session Types.

Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning

ACM Trans. Program. Lang. Syst., 2022

Data Layout from a Type-Theoretic Perspective (extended version).

Henry DeYoung, Frank Pfenning

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

Polarized Subtyping.

Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning

Proceedings of the Programming Languages and Systems, 2022

2021

Subtyping on Nested Polymorphic Session Types.

Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning

CoRR, 2021

2020

Semi-Axiomatic Sequent Calculus.

Henry DeYoung, Frank Pfenning, Klaas Pruiksma

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2016

Substructural Proofs as Automata.

Henry DeYoung, Frank Pfenning

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2012

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.

Henry DeYoung, Luís Caires, Frank Pfenning, Bernardo Toninho

Proceedings of the Computer Science Logic (CSL'12), 2012

2011

Linear Logical Voting Protocols.

Henry DeYoung, Carsten Schürmann

Proceedings of the E-Voting and Identity - Third International Conference, 2011

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

Proceedings of the Information Systems Security - 7th International Conference, 2011

2010

Experiences in the logical specification of the HIPAA and GLBA privacy laws.

Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta

Proceedings of the 2010 ACM Workshop on Privacy in the Electronic Society, 2010

2008

An Authorization Logic With Explicit Time.

Henry DeYoung, Deepak Garg, Frank Pfenning

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008