In this paper we propose to use Interaction Nets as a formalism for Vi- sual Functional Programming. We consider the use of recursion patterns as a pro- gramming idiom, and introduce a suitable archetype/instantiation mechanism for... more
In this paper we propose to use Interaction Nets as a formalism for Vi- sual Functional Programming. We consider the use of recursion patterns as a pro- gramming idiom, and introduce a suitable archetype/instantiation mechanism for interaction agents, which allows one to define agents whose behaviour is based on recursion patterns.
Research Interests:
This is the 13th edition of the Haskell Communities and Activities Report, and it arrives just in time for the break between the years���if you are bored by all the free time you might suddenly have, why not sit down and study what other... more
This is the 13th edition of the Haskell Communities and Activities Report, and it arrives just in time for the break between the years���if you are bored by all the free time you might suddenly have, why not sit down and study what other Haskellers have been up to during the past six months?
Research Interests:
Research Interests:
Research Interests:
We propose a method for encoding iterators (and recursion operators in general) using interaction nets (INs). There are two main applications for this: the method can be used to obtain a visual nota- tion for functional programs; and it... more
We propose a method for encoding iterators (and recursion operators in general) using interaction nets (INs). There are two main applications for this: the method can be used to obtain a visual nota- tion for functional programs; and it can be used to extend the existing translations of the lambda-calculus into INs to languages with recursive types.