2 citations · 3 across the 3 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Useful Open Call-by-Need
Beniamino Accattoli, Maico Leberle
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 tur…
cs.LO2021★ 2 cited
Semantic Bounds and Strong Call-by-Value Normalization
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
This paper explores two topics at once: the use of denotational semantics to bound the evaluation length of functional programs, and the semantics of strong (that is, possibly unde…