2 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Celia Mengyue Li, Steven Ramsay
Two-sided type systems, introduced in POPL'24, are an extension of the traditional notion of type system that allows for stating and deriving typing judgements in which (a) assumpt…