Towards a Programming Language for Interaction Nets

Mackie, I. (2005). Towards a Programming Language for Interaction Nets. Electronic Notes in Theoretical Computer Science, 133-151.

Type

Journal article

Intellectual base

Primary research

Year

2005

DOI

10.1016/j.entcs.2005.02.015

Link

https://doi.org/10.1016/j.entcs.2005.02.015

Cited by

1 citation across 1 artifact.

Domain-specific

• Interaction Nets
  • Their interface-preserving rules support compositional construction; their explicit resource agents expose copying and erasure; and their local steps map naturally to pointer-rewiring implementations.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:4d6545b7d405 · see in the full table