B Accattoli, M Leberle - arXiv preprint arXiv:2107.06591, 2021 - arxiv.org
This paper studies useful sharing, which is a sophisticated optimization for lambda-calculi, in
the context of call-by-need evaluation in presence of open terms. Useful sharing turns out to …