A Reflection on Call-by-Value (1996)

by Amr Sabry , Philip Wadler
Venue:ACM Transactions on Programming Languages and Systems
Citations:60 - 6 self

Documents Related by Co-Citation

436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
730 Notions of Computation and Monads – Eugenio Moggi - 1991
1305 Monads for functional programming – Philip Wadler - 1995
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
455 Comprehending Monads – Philip Wadler - 1992
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
199 Call-by-name, call-by-value and the λ-calculus – G Plotkin - 1975
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
171 Call-by-name, call-by-value, and the lambda calculus – G Plotkin - 1975
110 Continuations: A Mathematical Semantics for Handling Full Jumps – Christopher Strachey - 1974
235 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
299 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
130 Representing Monads – Andrzej Filinski - 1994
53 The essence of functional programming (invited talk – Philip Wadler - 1992
125 On the meanings of the logical constants and the justifications of the logical laws – Per Martin-Löf - 1996
620 Compiling with Continuations – Andrew W Appel - 1992
220 Call-by-name, call-by-value, and the #-calculus – G Plotkin - 1975