3 citations · 8 across the 4 of their papers we have counts for
4 papers
Fluent APIs in Functional Languages (full version)
Ori Roth, Yossi Gil
Fluent API is an object-oriented pattern for elegant APIs and embedded DSLs. A smart fluent API can enforce the API protocol or DSL syntax at compile time. As fluent API designs ty…
Python Type Hints are Turing Complete
Ori Roth
Grigore showed that Java generics are Turing complete by describing a reduction from Turing machines to Java subtyping. We apply Grigore's algorithm to Python type hints and deduce…
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…
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…