Recursion is a Computational Effect (2000)

by Daniel P. Friedman , Daniel P. Friedman , Amr Sabry , Amr Sabry
Citations:7 - 1 self

Active Bibliography

11 Value Recursion in Monadic Computations – Levent Erkok - 2002
Modular Monadic Semantics – Sheng Liang, Paul Hudak
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
35 Semantic Lego – David Espinosa - 1995
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
7 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
28 Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus – John Maraist, Martin Odersky, David N. Turner, Philip Wadler - 1994
18 An abstract monadic semantics for value recursion – Eugenio Moggi, Amr Sabry - 2003
6 Defining and Implementing Closed, Domain-Specific Languages – Richard B. Kieburtz - 2000
6 lambdaS: an implicitly parallel lambda-calculus with recursive bindings, synchronization and side effects – Arvind, Joe E. Stoy, Jan-willem Maessen, Jan-willem Maessen, Rishiyur S. Nikhil, Rishiyur S. Nikhil, Joseph E. Stoy
3 Addressed Term rewriting Systems: . . . – Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori - 2006
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
Presheaf models for the π-calculus – Ian Stark - 1997
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995