5 citations · 8 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 3 cited
Data Layout from a Type-Theoretic Perspective
Henry DeYoung, Frank Pfenning
The specifics of data layout can be important for the efficiency of functional programs and interaction with external libraries. In this paper, we develop a type-theoretic approach…
cs.PL2022
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…