Jan Sparud, Colin Runciman. Complete and Partial Redex Trails of Functional Computations. In Chris Clack, Kevin Hammond, Antony J. T. Davie, editors, Implementation of Functional Languages, 9th International Workshop, IFL 97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers. Volume 1467 of Lecture Notes in Computer Science, pages 160-177, Springer, 1997. [doi]
@inproceedings{SparudR97,
title = {Complete and Partial Redex Trails of Functional Computations},
author = {Jan Sparud and Colin Runciman},
year = {1997},
url = {http://link.springer.de/link/service/series/0558/bibs/1467/14670160.htm},
tags = {completeness},
researchr = {https://researchr.org/publication/SparudR97},
cites = {0},
citedby = {0},
pages = {160-177},
booktitle = {Implementation of Functional Languages, 9th International Workshop, IFL 97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers},
editor = {Chris Clack and Kevin Hammond and Antony J. T. Davie},
volume = {1467},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64849-6},
}