Tools
Mackie, Ian (2011) An interaction net implementation of closed reduction. In: Scholz, Sven-Bodo and Chitil, Olaf (eds.) Implementation and application of functional languages. Lecture notes in computer science (5836). Springer, pp. 43-59. ISBN 9783642244513
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/978-3-642-24452-0
Abstract
Closed reduction is a very efficient reduction strategy for the lambda
calculus, which is explained using a simple form of explicit
substitutions. This paper introduces this strategy, and gives an
implementation as a system of interaction nets. We obtain one of the
most efficient implementations of this kind to date
Item Type: | Book Section |
---|---|
Schools and Departments: | School of Engineering and Informatics > Informatics |
Subjects: | |
Depositing User: | Ian Mackie |
Date Deposited: | 28 Nov 2012 15:22 |
Last Modified: | 28 Nov 2012 15:22 |
URI: | http://sro.sussex.ac.uk/id/eprint/43097 |