4 citations · 6 across the 10 of their papers we have counts for
1 paper · 1 filter
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The space complexity of functional programs is not well understood. In particular, traditional implementation techniques are tailored to time efficiency, and space efficiency induc…