File(s) not publicly available
Interaction Net Implementation of Additive and Multiplicative Structures
Interaction nets provide a graphical paradigm of computation based on net rewriting. They have proved most successful in understanding the dynamics of reduction in the ?-calculus, where very efficient evaluators have been obtained. Most work in this area is heavily based on the pure ?-calculus, and a general theory of coding data structures with interaction nets has not been forthcoming. The purpose of this paper is to show how all of these systems encoding the ?-calculus can be extended to work with different kinds of data structures, which is a first step towards using these evaluators as the basis of implementation of a richer programming language.
History
Publication status
- Published
Journal
Journal of Logic and ComputationISSN
0955792XPublisher
Oxford University PressExternal DOI
Issue
2Volume
15Page range
219-237Department affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC