Publications tagged "CPS"
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
2021
-
M. Avanzini and G. Barthe U. Dal Lago. “On Continuation-passing Transformations and Expected Cost Analysis”. Proceedings of the ACM on Programming Languages 5, 2021. Association for Computing Machinery. © Creative Commons License - ND.