13 citations · 21 across the 8 of their papers we have counts for
14 papers
Parametric Subtyping for Structural Parametric Polymorphism
Henry DeYoung, Andreia Mordido, Frank Pfenning +1
We study the interaction of structural subtyping with parametric polymorphism and recursively defined type constructors. Although structural subtyping is undecidable in this settin…
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…
Rast: A Language for Resource-Aware Session Types
Ankush Das, Frank Pfenning
Traditional session types prescribe bidirectional communication protocols for concurrent computations, where well-typed programs are guaranteed to adhere to the protocols. However,…
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…