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
1318 Monads for functional programming – Philip Wadler - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
734 Notions of Computation and Monads – Eugenio Moggi - 1991
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
459 Comprehending Monads – Philip Wadler - 1992
32 A Semantic analysis of control – James David Laird - 1998
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
425 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996