Henry DeYoung
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 11
Publications (10 Years): 11
Publications
- Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
- Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
- Henry DeYoung, Frank Pfenning
- Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank PfenningPolarized Subtyping. CoRR (2022)
- Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
- Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
- Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
- Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
- Ankush Das, Henry DeYoung, Andreia Mordido, Frank PfenningNested Session Types. CoRR (2020)
- Henry DeYoung, Frank Pfenning, Klaas Pruiksma
- Henry DeYoung, Frank Pfenning
- Henry DeYoung, Carsten Schürmann
- Henry DeYoung, Deepak Garg, Frank Pfenning