Publications tagged "OCaml"
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
2015
-
M. Avanzini and U. Dal Lago and G. Moser. “Higher-Order Complexity Analysis: Harnessing First-Order Tools.”. Proceedings of the 6th International Workshop on Developments in Implicit Complexity, 2015.
-
M. Avanzini and U. Dal Lago and G. Moser. “Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order”. Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, pages 152–164, 2015. Association for Computing Machinery. © Association for Computing Machinery.