Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet. Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. In Ugo Dal Lago, Ricardo Peña, editors, Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Volume 8552 of Lecture Notes in Computer Science, pages 143-159, Springer, 2013. [doi]
Abstract is missing.