3 citations · 8 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 3 cited
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…
cs.PL2022★ 1 cited
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…