Iterators, Recursors and Interaction Nets

Details Iterators, Recursors and Interaction Nets Iterators, Recursors and Interaction Nets

2009-10-17

arxiv.org/abs/0910.3321v1

Computer Science

Programming Languages

ISBN: 978-972-9348-18-1

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Iterators, Recursors and Interaction Nets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Iterators, Recursors and Interaction Nets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Iterators, Recursors and Interaction Nets will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-89728