An Interaction Net Implementation of Closed Reduction

Mackie, I. (2011). An Interaction Net Implementation of Closed Reduction. Implementation and Application of Functional Languages.

Type

Book chapter

Intellectual base

Review or monograph

Year

2011

DOI

10.1007/978-3-642-24452-0_3

ISBN

9783642244513

Link

https://doi.org/10.1007/978-3-642-24452-0_3

Cited by

1 citation across 1 artifact.

Domain-specific

• Interaction Nets
  • Different interaction-net evaluators make different translation and strategy choices.

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:94d8eb1d1d2a · see in the full table