@inproceedings{0ede6d335a5548339cfac3996a8cc0b8,
title = "Useful Open Call-By-Need",
abstract = "This paper studies useful sharing, which is a sophisticated optimization for λ-calculi, in the context of call-by-need evaluation in presence of open terms. Useful sharing turns out to be harder in call-by-need than in call-by-name or call-by-value, because call-by-need evaluates inside environments, making it harder to specify when a substitution step is useful. We isolate the key involved concepts and prove the correctness and the completeness of useful sharing in this setting.",
keywords = "Call-by-need, Cost models, Lambda calculus, Operational semantics, Sharing",
author = "Beniamino Accattoli and Maico Leberle",
note = "Publisher Copyright: {\textcopyright} Beniamino Accattoli and Maico Leberle.; 30th EACSL Annual Conference on Computer Science Logic, CSL 2022 ; Conference date: 14-02-2022 Through 19-02-2022",
year = "2022",
month = feb,
day = "1",
doi = "10.4230/LIPIcs.CSL.2022.4",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Florin Manea and Alex Simpson",
booktitle = "30th EACSL Annual Conference on Computer Science Logic, CSL 2022",
}