Ori Roth

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 12

Top Topics

Conditional Independence

Functional Language

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Ori Roth, Yossi Gil
Fluent APIs in Functional Languages. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Ori Roth
Type Automata. ISSTA (2023)
Ori Roth
Python Type Hints Are Turing Complete (Pearl/Brave New Idea). ECOOP (2023)
Ori Roth
Python Type Hints Are Turing Complete (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Ori Roth, Yossi Gil
Fluent APIs in Functional Languages (full version). CoRR (2022)
Ori Roth
Python Type Hints are Turing Complete. CoRR (2022)
Ori Roth
Study of the Subtyping Machine of Nominal Subtyping with Variance (full version). CoRR (2021)
Ori Roth
Study of the subtyping machine of nominal subtyping with variance. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Joseph Gil, Ori Roth
Ties between Parametrically Polymorphic Type Systems and Finite Control Automata. CoRR (2020)
Ori Roth, Yossi Gil
Fling - A Fluent API Generator (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Yossi Gil, Ori Roth
Fling - A Fluent API Generator. ECOOP (2019)
Yossi Gil, Dor Ma'ayan, Niv Shalmon, Raviv Rachmiel, Ori Roth
Syntactic Zoom-Out / Zoom-In Code with the Athenizer. VISSOFT (2017)