The Structure of Call-by-Value (2000)

Cached

Download Links

by Carsten Führmann
Citations:12 - 3 self

Documents Related by Co-Citation

71 Categorical Structure of Continuation Passing Style – Hayo Thielecke, Alan Paxton, Andy Pitts, Jon Riecke, David N. Turner, Phil Wadler - 1997
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
84 Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus – Peter Selinger, I Nger - 1999
734 Notions of Computation and Monads – Eugenio Moggi - 1991
199 Call-by-name, call-by-value, and the λ-calculus – G D Plotkin - 1975
100 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
39 Declarative continuations: An investigation of duality in programming language semantics. In Summer Conference on Category Theory and Computer Science. volume 389 – Andrzej Filinski - 1989
10 Recursion from Iteration – Andrzej Filinski - 1994
237 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990