2 citations · 2 across the 1 of their papers we have counts for
1 paper
Thibaut Balabonski, Antoine Lanco, Guillaume Melquiond
We present a call-by-need λ-calculus that enables strong reduction (that is, reduction inside the body of abstractions) and guarantees that arguments are only evaluated if needed…