✦ LIBER ✦
On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation
✍ Scribed by Olivier Danvy; Kevin Millikin; Johan Munk; Ian Zerny
- Book ID
- 113927713
- Publisher
- Elsevier Science
- Year
- 2012
- Tongue
- English
- Weight
- 360 KB
- Volume
- 435
- Category
- Article
- ISSN
- 0304-3975
No coin nor oath required. For personal study only.