Duality between Call-by-Name Recursion and Call-by-Value Iteration (2001)

Cached

Download Links

by Yoshihiko Kakutani
Venue:IN PROC. COMPUTER SCIENCE LOGIC, SPRINGER LECTURE NOTES IN COMPUT. SCI
Citations:9 - 4 self

Active Bibliography

11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
32 A Semantic analysis of control – James David Laird - 1998
5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
DOI: 10.1007/978-3-642-21691-6_6 Classical Call-by-need and duality – Zena M. Ariola, Hugo Herbelin, Alexis Saurin - 2011
4 Classical Call-by-need and duality – Zena M. Ariola, Hugo Herbelin, Alexis Saurin
11 Call-by-value is dual to call-by-name, reloaded – Philip Wadler - 2005
10 Relational parametricity and control – Masahito Hasegawa
1 Call-by-name and call-by-value in normal modal logic – Yoshihiko Kakutani
3 Parameterizations and Fixed-Point Operators on Control Categories – Yoshihiko Kakutani, Masahito Hasegawa - 2005
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
6 Semantics of linear continuation-passing in call-by-name – Masahito Hasegawa - 2004
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
Type Theory for Programming Languages – Robert Harper - 1994
Téléphone: +33(0)4.72.72.80.37 – École Normale, Supérieure Lyon, Pierre Lescanne, Silvia Likavec, École Normale, Supérieure Lyon, Pierre Lescanne, Silvia Likavec - 2004
1 Calculi for intuitionistic normal modal logic – Yoshihiko Kakutani - 2007
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
7 An operational account of call-by-value minimal and classical λ-calculus in natural deduction form – Hugo Herbelin, Stéphane Zimmermann
6 Environments, Continuation Semantics and Indexed Categories – John Power, Hayo Thielecke - 1997
5 On categorical models of classical logic and the geometry of interaction – Carsten Führmann, David Pym - 2005