From functional programs to interaction nets via the Rewriting Calculus

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00000821
Contributor : Horatiu Cirstea <>
Submitted on : Thursday, November 2, 2006 - 10:22:46 AM
Last modification on : Wednesday, March 27, 2019 - 4:41:26 PM

Identifiers

  • HAL Id : inria-00000821, version 1

Collections

Citation

Horatiu Cirstea, Germain Faure, Maribel Fernandez, Ian Mackie, François-Régis Sinot. From functional programs to interaction nets via the Rewriting Calculus. Sixth International Workshop on Reduction Strategies in Rewriting and Programming, Aug 2006, Seattle, Washington, United States. pp.39-56. ⟨inria-00000821⟩

Share

Metrics

Record views

344