27 citations · 100 across the 13 of their papers we have counts for
1 paper · 1 filter
Norman Danner, Daniel R. Licata, Ramyaa Ramyaa
A central method for analyzing the asymptotic complexity of a functional program is to extract and then solve a recurrence that expresses evaluation cost in terms of input size. Th…