From functional programs to interaction nets via the Rewriting Calculus New evaluation strategies for functional languages
Horatiu Cirstea, Germain Faure, Ian Mackie · 2006
We use the -calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the -terms arising from the compilation. This encoding gives rise to new strategies of evaluation, where pattern-matching and ‘traditional’ -reduction can proceed in parallel without overheads.