Programming with Algebras

[1]  Philip Wadler,et al.  Comprehending monads , 1990, LISP and Functional Programming.

[2]  Tong Zhou,et al.  Calculating Software Generators from Solution Specifications , 1995, TAPSOFT.

[3]  J. Michael Spivey,et al.  A Functional Theory of Exceptions , 1990, Sci. Comput. Program..

[4]  Richard B. Kieburtz,et al.  Algebraic design language (preliminary definition) , 1994 .

[5]  Grant Malcolm,et al.  Algebraic Data Types and Program Transformation , 1990 .

[6]  R. Cockett,et al.  Strong categorical datatypes I , 1991 .

[7]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[8]  Lambert Meertens,et al.  Algorithmics : towards programming as a mathematical activity , 1986 .

[9]  Richard S. Bird,et al.  An introduction to the theory of lists , 1987 .

[10]  Philip Wadler,et al.  The essence of functional programming , 1992, POPL '92.

[11]  Tong Zhou,et al.  Software design for reliability and reuse: a proof-of-concept demonstration , 1994, TRI-Ada '94.

[12]  Joseph A. Goguen,et al.  How to Prove Algebraic Inductive Hypotheses Without Induction , 1980, CADE.

[13]  Philip Wadler,et al.  Comprehending monads , 1990, Mathematical Structures in Computer Science.

[14]  Eugenio Moggi,et al.  Notions of Computation and Monads , 1991, Inf. Comput..

[15]  Simon L. Peyton Jones,et al.  The Implementation of Functional Programming Languages , 1987 .

[16]  Richard S. Bird,et al.  Lectures on Constructive Functional Programming , 1989 .

[17]  Maarten M. Fokkinga,et al.  Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire , 1991, FPCA.

[18]  Tim Sheard,et al.  A fold for all seasons , 1993, FPCA '93.

[19]  Maarten M. Fokkinga,et al.  Law and order in algorithmics , 1992 .