8 citations · 12 across the 4 of their papers we have counts for
1 paper · 1 filter
Stephen Chang, Matthias Felleisen
The existing call-by-need lambda calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equi…