Sorting Morphisms (1998)

Cached

Download Links

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

Documents Related by Co-Citation

299 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
26 Calculating Functional Programs – Jeremy Gibbons - 2000
105 Data structures and program transformation – G Malcolm - 1990
215 Introduction to Functional Programming using Haskell – R Bird - 1998
92 The Craft of Functional Programming – Simon Thompson - 1999
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
86 Algebra of Programming – R Bird, O de Moor - 1997
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
59 Inductive Functional Programming Using Incremental Program Transformation – Roland Olsson - 1995
21 Systematic search for lambda expressions – Susumu Katayama - 2005
10 Generic Accumulations – Alberto Pardo - 2002
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
64 The Haskell School of Expression - Learning Functional Programming Through Multimedia – P Hudak - 2000
226 Functional Data Structures – Chris Okasaki - 1996
126 Domain Specific Embedded Compilers – Daan Leijen, Erik Meijer - 1999
215 An introduction to the theory of lists – R S Bird - 1987