Add to ORKGEigth International Workshop on Computing with Terms and Graphs (TERMGRAPH’09), 2009We propose a method for encoding iterators (and recursion operators in general) using interaction nets. There are two main applications for this: the method can be used to obtain a visual notation for functional programs, in a visual programming system; and it can be used to extend the existing translations of the λ-calculus into interaction nets (that have been proposed as efficient implementation mechanisms) to languages with recursive types. This work can also be seen as a study of the relation between interaction net programming and functional programming
Abstract: In this paper we propose to use Interaction Nets as a formalism for Vi-sual Functional Pro...
Interaction nets were introduced almost 15 years ago. Since then they have been put forward as both ...
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (...
Eigth International Workshop on Computing with Terms and Graphs (TERMGRAPH’09), 2009We propose a met...
In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. W...
In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. W...
Techon. Report DI-PURe 05.05.02.In this paper we propose to use Interaction Nets as a formalism for ...
In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. W...
In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. W...
AbstractInteraction nets were introduced almost 15 years ago. Since then they have been put forward ...
AbstractWe compile functional languages with pattern-matching features into interaction nets, extend...
AbstractInteraction nets were introduced almost 15 years ago. Since then they have been put forward ...
Abstract: In this paper we propose to use Interaction Nets as a formalism for Vi-sual Functional Pro...
Programming directly with diagrams offers potential advantages such as visual intuitions, identifica...
Abstract: In this paper we propose to use Interaction Nets as a formalism for Vi-sual Functional Pro...
Abstract: In this paper we propose to use Interaction Nets as a formalism for Vi-sual Functional Pro...
Interaction nets were introduced almost 15 years ago. Since then they have been put forward as both ...
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (...
Eigth International Workshop on Computing with Terms and Graphs (TERMGRAPH’09), 2009We propose a met...
In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. W...
In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. W...
Techon. Report DI-PURe 05.05.02.In this paper we propose to use Interaction Nets as a formalism for ...
In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. W...
In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. W...
AbstractInteraction nets were introduced almost 15 years ago. Since then they have been put forward ...
AbstractWe compile functional languages with pattern-matching features into interaction nets, extend...
AbstractInteraction nets were introduced almost 15 years ago. Since then they have been put forward ...
Abstract: In this paper we propose to use Interaction Nets as a formalism for Vi-sual Functional Pro...
Programming directly with diagrams offers potential advantages such as visual intuitions, identifica...
Abstract: In this paper we propose to use Interaction Nets as a formalism for Vi-sual Functional Pro...
Abstract: In this paper we propose to use Interaction Nets as a formalism for Vi-sual Functional Pro...
Interaction nets were introduced almost 15 years ago. Since then they have been put forward as both ...
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (...