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]
Abstract is missing.