Author manuscript, published in "Higher Order and Symbolic Computation (2007)" Explaining the lazy Krivine machine using explicit substitution and addresses (2007)

Cached

Download Links

by Frédéric Lang