University of Sussex
Browse

File(s) not publicly available

From Functional Programs to Interaction Nets via the Rewriting Calculus.

presentation
posted on 2023-06-08, 07:50 authored by Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian MackieIan Mackie, François-Régis Sinot
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.

History

Publication status

  • Published

Publisher

Elsevier

Issue

10

Volume

174

Pages

17.0

Presentation Type

  • paper

Event name

Electronic Notes in Theoretical Computer Science

Event type

conference

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC