Showing 1–1 of 1 results for author: Vilaca, M

Iterators, Recursors and Interaction Nets

Authors: Ian Mackie, Jorge Sousa Pinto, Miguel Vilaca

Abstract: 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. 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. △ Less

Submitted 17 October, 2009; originally announced October 2009.

Comments: ISBN: 978-972-9348-18-1