Olivier Savary Bélanger, Andrew W. Appel. Shrink fast correctly!. In Wim Vanhoof, Brigitte Pientka, editors, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. pages 49-60, ACM, 2017. [doi]
@inproceedings{BelangerA17,
title = {Shrink fast correctly!},
author = {Olivier Savary Bélanger and Andrew W. Appel},
year = {2017},
doi = {10.1145/3131851.3131859},
url = {http://doi.acm.org/10.1145/3131851.3131859},
researchr = {https://researchr.org/publication/BelangerA17},
cites = {0},
citedby = {0},
pages = {49-60},
booktitle = {Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017},
editor = {Wim Vanhoof and Brigitte Pientka},
publisher = {ACM},
isbn = {978-1-4503-5291-8},
}