Paper Info
Title
From Functional Programs to Interaction Nets via the Rewriting Calculus
Abstract
We use the @r-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the @r-terms arising from the compilation. This encoding gives rise to new strategies of evaluation, where pattern-matching and 'traditional'@b-reduction can proceed in parallel without overheads.
Year
DOI
Venue
2007
10.1016/j.entcs.2007.02.046
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
rewriting calculus,interaction nets,intermediate language,functional language,new strategy,pattern-matching feature,functional programs,pattern-matching,functional programming,pattern matching
Rewriting calculus,Programming language,Interaction nets,Functional programming,Computer science,Theoretical computer science,Compiler,Intermediate language,Pattern matching,Encoding (memory)
Journal
Volume
Issue
ISSN
174
10
Electronic Notes in Theoretical Computer Science
Citations 
PageRank 
References 
2
0.38
18
Authors
5
Name
Order
Citations
PageRank
Horatiu Cirstea116415.93
Germain Faure2804.87
Maribel Fernández331523.44
Ian Mackie4889.58
François-régis Sinot5746.84