preprint
Open access
The Maximal MAM, a Reasonable Implementation of the Maximal Strategy
Research footprint
At a glance
- Citations
- 1
- References
- 18
- Comments
- 0
Paper overview
Öz
This note is about a reasonable abstract machine, called Maximal MAM, implementing the maximal strategy of the lambda-calculus, that is, the strategy that always produces a longest evaluation sequence.
Record transparency
Publication details
- DOI
- 10.48550/arxiv.1711.10301
- OpenAlex
- W2770558301
- Document type
- preprint
- Language
- EN
- Source
- arXiv (Cornell University)
- Last metadata update
Comments
Oturum Açın to join the discussion.