From Functional Programs to Interaction Nets via the Rewriting Calculus

Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot. From Functional Programs to Interaction Nets via the Rewriting Calculus. Electronic Notes in Theoretical Computer Science, 174(10):39-56, 2007. [doi]

Abstract

Abstract is missing.