4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 2 cited
An Implementation Model for Interaction Nets
Abubakar Hassan, Ian Mackie, Shinya Sato
To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close corresponde…
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…