4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 1 cited
Extending the Interaction Nets Calculus by Generic Rules
Eugen Jiresch
We extend the textual calculus for interaction nets by generic rules and propose constraints to preserve uniform confluence. Furthermore, we discuss the implementation of generic r…
cs.LO2010★ 4 cited
An Implementation of Nested Pattern Matching in Interaction Nets
Abubakar Hassan, Eugen Jiresch, Shinya Sato
Reduction rules in interaction nets are constrained to pattern match exactly one argument at a time. Consequently, a programmer has to introduce auxiliary rules to perform more sop…