Olivier Danvy, Mayer Goldberg. Partial Evaluation of the Euclidian Algorithm. Higher-Order and Symbolic Computation, 10(2):101-111, 1997.
@article{DanvyG97,
title = {Partial Evaluation of the Euclidian Algorithm},
author = {Olivier Danvy and Mayer Goldberg},
year = {1997},
tags = {partial evaluation},
researchr = {https://researchr.org/publication/DanvyG97},
cites = {0},
citedby = {0},
journal = {Higher-Order and Symbolic Computation},
volume = {10},
number = {2},
pages = {101-111},
}