Visual programming with recursion patterns in interaction nets

• Author(s): Mackie, Ian ; Pinto, Jorge Sousa ; Vilaça, Miguel
• Date: 2007
• Persistent ID: http://hdl.handle.net/1822/14407
• Origin: RepositóriUM - Universidade do Minho
• Subject(s): Interaction nets; Recursion patterns
• Document Type: Article
• Language: English

Description

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.