Type-Based Amortized Resource Analysis with Integers and Arrays.

Jan Hoffmann, Zhong Shao

Browse the full FLOPS paper archive.