1 citations · 1 across the 1 of their papers we have counts for
2 papers
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.LO2019★ 1 cited
Types by Need (Extended Version)
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
A cornerstone of the theory of lambda-calculus is that intersection types characterise termination properties. They are a flexible tool that can be adapted to various notions of te…