Sorting Morphisms (1998)

Cached

Download Links

by Lex Augusteijn
Venue:3rd International Summer School on Advanced Functional Programming, volume 1608 of LNCS
Citations:30 - 0 self

Documents Related by Co-Citation

302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
105 Data structures and program transformation – G Malcolm - 1990
27 Calculating Functional Programs – Jeremy Gibbons - 2000
88 Algebra of programming – R Bird, O de Moor - 1997
402 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
1312 Monads for functional programming – Philip Wadler - 1995
215 Introduction to Functional Programming using Haskell, 2nd edition – R Bird - 1998
175 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
92 Polytypic programming – Patrik Jansson - 2000
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
109 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
12 Generic Accumulations – Alberto Pardo - 2002
39 Designing and Implementing Combinator Languages – S. Doaitse Swierstra, Pablo R. Azero Alcocer, Joao Saraiva, Doaitse Swierstra, Pablo Azero, João Saraiva - 1999
217 An introduction to the theory of lists – R Bird - 1987
6 Reverse Program Calculation Supported by Code Slicing – G Villavicencio, J N Oliveira - 2001
5296 Design Patterns Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
136 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
95 A New Approach to Generic Functional Programming – Ralf Hinze - 1999