File(s) not publicly available
Efficient lambda-Evaluation with Interaction Nets
presentationposted 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.
Event nameLecture Notes in Computer Science
Department affiliated with
- Informatics Publications
Full text available