List of Publications: Sized-Types
-
M. Avanzini and U. Dal Lago. “Automating Size Type Inference and Complexity Analysis”. Proceedings of 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, 2017.
-
M. Avanzini and U. Dal Lago. “Automating Sized-Type Inference for Complexity Analysis”. Proceedings of the ACM on Programming Languages 1, 2017. Association for Computing Machinery. © Creative Commons License - ND.