most citedNormalizing Asymptotic Differential Equations

1 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Mirroring Call-by-Need, or Values Acting Silly

Beniamino Accattoli, Adrienne Lancelot

Call-by-need evaluation for the lambda-calculus can be seen as merging the best of call-by-name and call-by-value, namely the wise erasing behaviour of the former and the wise dupl…