Ian Mackie. YALE: Yet Another Lambda Evaluator Based on Interaction Nets. In Matthias Felleisen, Paul Hudak, Christian Queinnec, editors, Proceedings of the third ACM SIGPLAN international conference on Functional programming. pages 117-128, ACM, Baltimore, Maryland, United States, 1998. [doi]
@inproceedings{Mackie98,
title = {YALE: Yet Another Lambda Evaluator Based on Interaction Nets},
author = {Ian Mackie},
year = {1998},
doi = {10.1145/289423.289434},
url = {http://doi.acm.org/10.1145/289423.289434},
tags = {rule-based},
researchr = {https://researchr.org/publication/Mackie98},
cites = {0},
citedby = {0},
pages = {117-128},
booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
address = {Baltimore, Maryland, United States},
publisher = {ACM},
}