17 citations · 38 across the 6 of their papers we have counts for
1 paper · 1 filter
Michael Greenberg
Standard higher-order contract monitoring breaks tail recursion and leads to space leaks that can change a program's asymptotic complexity; space-efficiency restores tail recursion…