27 citations · 53 across the 14 of their papers we have counts for
1 paper · 2 filters
Robert Atkey
Type-based amortised resource analysis following Hofmann and Jost---where resources are associated with individual elements of data structures and doled out to the programmer under…