6 citations · 9 across the 12 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.FL2023
On the Expressive Power of Regular Expressions with Backreferences
Taisei Nogami, Tachio Terauchi
A rewb is a regular expression extended with a feature called backreference. It is broadly known that backreference is a practical extension of regular expressions, and is supporte…
cs.PL2023
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
Fuga Kawamata, Hiroshi Unno, Taro Sekiyama +1
Algebraic effects and handlers are a mechanism to structure programs with computational effects in a modular way. They are recently gaining popularity and being adopted in practica…