University of Sussex
Browse

File(s) not publicly available

Efficient lambda-Evaluation with Interaction Nets

presentation
posted on 2023-06-07, 21:32 authored by Ian MackieIan Mackie
This paper presents an efficient implementation of the ?-calculus using the graph rewriting formalism of interaction nets. Building upon a series of previous works, we obtain one of the most efficient implementations of this kind to date: out performing existing interaction net implementations, as well as other approaches. We conclude the paper with extensive testing to demonstrate the capabilities of this evaluator.

History

Publication status

  • Published

Publisher

Springer

Pages

15.0

Presentation Type

  • paper

Event name

Lecture Notes in Computer Science

Event type

conference

ISBN

3-540-22153-0

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