Quentin Carbonneaux, Jan Hoffmann 0002, Zhong Shao. Compositional certified resource bounds. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 467-478, ACM, 2015. [doi]
Abstract is missing.