From functional programs to interaction nets via the Rewriting Calculus
Résumé
We 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.