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

458 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
1309 Monads for functional programming – Philip Wadler - 1995
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
733 Notions of Computation and Monads – Eugenio Moggi - 1991
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
731 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman - 1996
32 Call by name, assignment, and the lambda calculus – Martin Odersky, Dan Rabin, Paul Hudak
15 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 – G 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
1115 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
440 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
237 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
194 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000