Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
86 How to replace failure by a list of successes – P Wadler - 1985
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
456 Comprehending Monads – Philip Wadler - 1992
437 Can programming be liberated from the Von Neumann style? A functional style and its algebra of programs – J Backus - 1978
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
117 Report on the functional programming language Haskell: A non-strict, purely functional language: Version 1.2 – Peyton Jones P, S L, P Wadler - 1992
616 Light Linear Logic – Jean-yves Girard
54 Continuation-Based Program Transformation Strategies – M Wand - 1980
96 How to Declare an Imperative – Philip Wadler - 1995
29 Controlling Search in Declarative Programs – Michael Hanus, Frank Steiner - 1998
144 A unified computation model for functional and logic programming – Michael Hanus - 1997
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
442 Concurrent Constraint Programming – Vijay A. Saraswat, Martin Rinard - 1993
201 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996