![](/img/cover-not-exists.png)
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus
GARCÍA-PÉREZ, ÁLVARO, NOGUEIRA, PABLOVolume:
29
Year:
2019
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/S0956796819000017
File:
PDF, 1.43 MB
english, 2019