Ankush Das
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 32
Publications (10 Years): 32
Publications
- Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
- Ankush Das, Di Wang, Jan Hoffmann
- Ankush Das, 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)
- Ankush Das, Frank Pfenning
- Ankush Das, Frank Pfenning
- Ankush Das, Di Wang, Jan Hoffmann
- Ankush Das, Shaz Qadeer
- Ankush Das, Frank Pfenning
- Ankush Das, Frank Pfenning
- Ankush Das, Jan Hoffmann, Frank Pfenning
- Ankush Das, Jan Hoffmann, Frank Pfenning
- Ankush Das, Jan Hoffmann, Frank Pfenning
- Ankush Das, Jan Hoffmann, Frank Pfenning
- Ankush Das, Akash Lal
- Jan Hoffmann, Ankush Das, Shu-Chun Weng
- Ankush Das, Akash Lal
- Ankush Das, Jan Hoffmann
- Jan Hoffmann, Ankush Das, Shu-Chun Weng