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

Documents Related by Co-Citation

83 Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus – Peter Selinger, I Nger - 1999
321 λµ-calculus: an algorithmic interpretation of classic natural deduction – M Parigot - 1992
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
37 Declarative continuations: an investigation of duality in programming language semantics – A Filinski - 1989
730 Notions of Computation and Monads – Eugenio Moggi - 1991
70 Categorical Structure of Continuation Passing Style – Hayo Thielecke, Alan Paxton, Andy Pitts, Jon Riecke, David N. Turner, Phil Wadler - 1997
76 A Curry-Howard foundation for functional computation with control – C. -h. L. Ong, C. A. Stewart - 1997
140 Introduction to Higher-Order Categorical Logic – J Lambek, P Scott - 1986
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
4 Some remarks on control categories – Peter Selinger - 2003
361 Towards a theory of type structure, in – J C Reynolds - 1974
29 Complete Axioms for Categorical Fixed-point Operators – Alex Simpson, Gordon Plotkin - 2000
60 Varieties of iteration theories – S L Bloom, Z Esik - 1988
60 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
12 Varieties of effects – Carsten Führmann - 2002
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
30 Minimal Classical Logic and Control Operators – Zena Ariola, Hugo Herbelin - 2003