Comprehending Monads (1992)

by Philip Wadler
Venue:Mathematical Structures in Computer Science
Citations:455 - 13 self

Active Bibliography

(Invited – unknown authors
96 How to Declare an Imperative – Philip Wadler - 1995
20 Algebra of logic programming – Silvija Seres - 1999
2 Graphical application and visualization of lazy functional computation – Sandra Periam Foubister - 1995
39 Querying Nested Collections – Limsoon Wong - 1994
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
48 Parallel Programming using Functional Languages – Paul Roe, M. Eng (york - 1991
88 Categorical Logic – Andrew M. Pitts - 1995
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
Introduction to Functional Programming using Gofer – E. P. Wentworth - 1990
OzFun: A Functional Language for Mixed Eager and Lazy Programming – Kai Ibach
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
17 A Cost Analysis for a Higher-order Parallel Programming Model – Roopa Rangaswami, Sister Kripa - 1996