Add to ORKGInternational audienceWe use the rho-calculus as an intermediate language in the implementation of functional languages with pattern-matching features, and define an interaction net encoding of the rho-terms arising from the compilation, where pattern-matching and 'traditional' rho-reduction can proceed in parallel without additional overheads
AbstractWe propose an encoding of an object calculus into interaction nets in two stages. First, we ...
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (...
Foundational work on programming has been based traditionally on some variant of lambda calculus. Th...
International audienceWe use the rho-calculus as an intermediate language in the implementation of f...
AbstractWe use the ρ-calculus as an intermediate language to compile functional languages with patte...
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-match...
. Interaction nets are graphical rewriting systems which can be used as either a high-level programm...
International audienceIn this paper we give a new simpler and uniform presentation of the rewriting ...
Interaction nets were introduced almost 15 years ago. Since then they have been put forward as both ...
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...
Article dans revue scientifique avec comité de lecture.The rho-calculus integrates in a uniform and ...
Eigth International Workshop on Computing with Terms and Graphs (TERMGRAPH’09), 2009We propose a met...
Interaction nets provide a graphical paradigm of computation based on net rewriting. They have prove...
In this paper we present a case study of the use of Lafont's interaction combinators for the co...
AbstractWe propose an encoding of an object calculus into interaction nets in two stages. First, we ...
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (...
Foundational work on programming has been based traditionally on some variant of lambda calculus. Th...
International audienceWe use the rho-calculus as an intermediate language in the implementation of f...
AbstractWe use the ρ-calculus as an intermediate language to compile functional languages with patte...
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-match...
. Interaction nets are graphical rewriting systems which can be used as either a high-level programm...
International audienceIn this paper we give a new simpler and uniform presentation of the rewriting ...
Interaction nets were introduced almost 15 years ago. Since then they have been put forward as both ...
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...
Article dans revue scientifique avec comité de lecture.The rho-calculus integrates in a uniform and ...
Eigth International Workshop on Computing with Terms and Graphs (TERMGRAPH’09), 2009We propose a met...
Interaction nets provide a graphical paradigm of computation based on net rewriting. They have prove...
In this paper we present a case study of the use of Lafont's interaction combinators for the co...
AbstractWe propose an encoding of an object calculus into interaction nets in two stages. First, we ...
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (...
Foundational work on programming has been based traditionally on some variant of lambda calculus. Th...