4 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.PL2014★ 4 cited
Towards a GPU-based implementation of interaction nets
Eugen Jiresch
We present ingpu, a GPU-based evaluator for interaction nets that heavily utilizes their potential for parallel evaluation. We discuss advantages and challenges of the ongoing impl…
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…