Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster
Incremental λ-Calculus in Cache-Transfer Style - Static Memoization by Program Transformation
ESOP, 2019.
@inproceedings{ESOP-2019-GiarrussoRS, author = "Paolo G. Giarrusso and Yann Régis-Gianas and Philipp Schuster", booktitle = "{Proceedings of the 28th European Symposium on Programming}", doi = "10.1007/978-3-030-17184-1_20", isbn = "['978-3-030-17183-4', '978-3-030-17184-1']", pages = "553--580", publisher = "{Springer}", title = "{Incremental λ-Calculus in Cache-Transfer Style - Static Memoization by Program Transformation}", year = 2019, }