Efficient lambda-Evaluation with Interaction Nets

Mackie, Ian (2004) Efficient lambda-Evaluation with Interaction Nets. In: Lecture Notes in Computer Science.

Full text not available from this repository.

Abstract

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.

Item Type: Conference or Workshop Item (Paper)
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Ian Mackie
Date Deposited: 06 Feb 2012 18:50
Last Modified: 31 May 2012 13:26
URI: http://sro.sussex.ac.uk/id/eprint/18578
📧 Request an update