Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) (1996)

Cached

Download Links

by Leonidas Fegaras , Tim Sheard
Venue:In Conf. Record 23rd ACM SIGPLAN/SIGACT Symp. on Principles of Programming Languages, POPL’96, St. Petersburg Beach
Citations:54 - 3 self

Active Bibliography

5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
41 Calculate Polytypically! – Lambert Meertens - 1996
25 Improving Programs which Recurse over Multiple Inductive Structures – Leonidas Fegaras, Tim Sheard, Tong Zhou - 1994
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
4 Optimizing Algebraic Programs – Tim Sheard, Leonidas Fegaras - 1994
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
4 Fusion for Free! – Leonidas Fegaras - 1996
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
93 Polytypic programming – Patrik Jansson - 2000
4 Coding Recursion a la Mendler (Extended Abstract) – Tarmo Uustalu, Varmo Vene - 2000
4 Attribute Grammars and Functional Programming Deforestation – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel, Le Chesnay Cedex, Gilles Roussel Is Also - 1997
9 Attribute Grammars and Folds: Generic Control Operators – Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan - 1996
7 Symbolic Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
3 Equational Semantics – Loïc Correnson, Inria Rocquencourt - 1999
2 Deriving animations from recursive definitions – Alcino Cunha, José Barros, João Saraiva - 2002