Visual Programming with Recursion Patterns in Interaction Nets

Abstract

In this paper we propose to use Interaction Nets as a formalism for
Visual Functional Programming. We consider the use of recursion
patterns as a programming idiom, and introduce a suitable
archetype/instantiation mechanism for interaction agents, which allows
one to define agents whose behaviour is based on recursion patterns.