Publications tagged "Sized-Types"
Automation CPS Certification Complexity Analysis Constraint Systems Functional Programming Graph Rewriting Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Runtime Complexity Analysis Sized-Types TCT Term Rewriting Termination Types
2017
-
M. Avanzini and U. Dal Lago. “Automating Size Type Inference and Complexity Analysis”. Proceedings of the 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.