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,
}











