What is a Purely Functional Language? (1998)

Cached

Download Links

by Amr Sabry
Venue:Journal of Functional Programming
Citations:14 - 6 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
32 A Semantic analysis of control – James David Laird - 1998
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
31 A Functional Theory of Local Names – Martin Odersky - 1994
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
34 Functional Nets – Martin Odersky - 2000
Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
4 Note on Algol and Conservatively Extending Functional Programming – Peter O'Hearn - 1995
24 Monadic State: Axiomatization and Type Safety – John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated - 1997
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
12 Reasoning about Explicit and Implicit Representations of State – Amr Sabry , John Field - 1993
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
4 Games and Sequential Algorithms – Jim Laird - 2001
9 An Operational Semantics for I/O in a Lazy Functional Language – Andrew D. Gordon - 1993
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990