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

445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
734 Notions of Computation and Monads – Eugenio Moggi - 1991
1318 Monads for functional programming – Philip Wadler - 1995
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
459 Comprehending Monads – Philip Wadler - 1992
625 Compiling with Continuations – A Appel - 1992
571 1934-1935), “Untersuchungen Uber das logische Schliessen – Gerhard Gentzen
645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992