What is a Purely Functional Language? (1998)

Cached

Download Links

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

Documents Related by Co-Citation

456 Comprehending Monads – Philip Wadler - 1992
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
24 Monadic State: Axiomatization and Type Safety – John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated - 1997
1312 Monads for functional programming – Philip Wadler - 1995
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
730 Notions of Computation and Monads – Eugenio Moggi - 1991
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
728 G.: Structure and Interpretation of Computer Programs – H Abelson, Sussman - 1985
32 Call by name, assignment, and the lambda calculus – Martin Odersky, Dan Rabin, Paul Hudak
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
171 Call-by-name, call-by-value, and the lambda calculus – Gordon Plotkin - 1975
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
15 Functor Categories and Two-Level Languages – E. Moggi - 1998
88 A Metalanguage for Programming with Bound Names Modulo Renaming – Andrew M. Pitts, Murdoch J. Gabbay - 2000
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000