2 citations · 3 across the 3 of their papers we have counts for
4 papers
Strong Call-by-Value and Multi Types
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
This paper provides foundations for strong (that is, possibly under abstraction) call-by-value evaluation for the lambda-calculus. Recently, Accattoli et al. proposed a form of cal…
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…
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…
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…