3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2021★ 3 cited
Study of the Subtyping Machine of Nominal Subtyping with Variance (full version)
Ori Roth
This is a study of the computing power of the subtyping machine behind Kennedy and Pierce's nominal subtyping with variance. We depict the lattice of fragments of Kennedy and Pierc…
cs.PL2020★ 1 cited
Ties between Parametrically Polymorphic Type Systems and Finite Control Automata
Joseph Gil, Ori Roth
We present a correspondence and bisimulation between variants of parametrically polymorphic type systems and variants of finite control automata, such as FSA, PDA, tree automata an…