5 citations · 8 across the 4 of their papers we have counts for
9 papers · 1 filter
Polarized Subtyping
Zeeshan Lakhani, Ankush Das, Henry DeYoung +2
Polarization of types in call-by-push-value naturally leads to the separation of inductively defined observable values (classified by positive types), and coinductively defined com…
Subtyping on Nested Polymorphic Session Types
Ankush Das, Henry DeYoung, Andreia Mordido +1
The importance of subtyping to enable a wider range of well-typed programs is undeniable. However, the interaction between subtyping, recursion, and polymorphism is not completely…
Probabilistic Resource-Aware Session Types
Ankush Das, Di Wang, Jan Hoffmann
Session types guarantee that message-passing processes adhere to predefined communication protocols. Prior work on session types has focused on deterministic languages but many mes…
Nested Session Types
Ankush Das, Henry DeYoung, Andreia Mordido +1
Session types statically describe communication protocols between concurrent message-passing processes. Unfortunately, parametric polymorphism even in its restricted prenex form is…
Session Types with Arithmetic Refinements
Ankush Das, Frank Pfenning
Session types statically prescribe bidirectional communication protocols for message-passing processes. However, simple session types cannot specify properties beyond the type of e…
Session Types with Arithmetic Refinements and Their Application to Work Analysis
Ankush Das, Frank Pfenning
Session types statically prescribe bidirectional communication protocols for message-passing processes and are in a Curry-Howard correspondence with linear logic propositions. Howe…