Explaining the Lazy Krivine Machine Using Explicit Substitution and Addresses
Higher-Order and Symbolic Computation
doi 10.1007/s10990-007-9013-1
Full Text
Open PDFAbstract
Available in full text
Date
October 24, 2007
Authors
Publisher
Springer Science and Business Media LLC