preprint
وصول مفتوح
The Maximal MAM, a Reasonable Implementation of the Maximal Strategy
Research footprint
At a glance
- الاستشهادات
- 1
- المراجع
- 18
- Comments
- 0
Paper overview
Abstract
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
تسجيل الدخول للانضمام إلى النقاش.