YALE: Yet Another Lambda Evaluator Based on Interaction Nets

Mackie, I. (1998). YALE: Yet Another Lambda Evaluator Based on Interaction Nets. Proceedings of ICFP '98, 117-128.

Type

Conference paper

Intellectual base

Primary research

Year

1998

DOI

10.1145/289423.289434

Link

https://doi.org/10.1145/289423.289434

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:73f768e06ba1 · see in the full table