Publications tagged "CPS"
Automation CPS Certification Complexity Analysis Constraint Systems Cryptography EasyCrypt Expectation Transformers Functional Programming Graph Rewriting Hardness Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Layout-Randomization Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Quantum Runtime Complexity Analysis Security Sized-Types TCT Term Rewriting Termination Types
2021
-
Martin Avanzini, Gilles Barthe and Ugo Dal Lago. “On continuation-passing transformations and expected cost analysis”. Proc. ACM Program. Lang. 5 (ICFP): 1–30 (2021)