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…