The duality of computation

By P. Curien, Hugo Herbelin. ACM SIGPLAN International Conference on Functional Programming, 2000

496 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/83decedcb8690bb7007a2207b7aa10112b1cadfc

Citations in the corpus

• Call-by-value is dual to call-by-name (2003, unknown): “Here we give an analogous result for the CPS translation from the dual calculus, strengthening a result of Curien and Herbelin (2000).”