Towards Merging Recursion and Comonads (2000)

Cached

Download Links

by Alberto Pardo
Citations:9 - 2 self

Documents Related by Co-Citation

105 Data structures and program transformation – G Malcolm - 1990
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
172 Basic Category Theory for Computer Scientists – B C Pierce - 1991
1269 Program slicing – M Weiser - 1984
86 Algebraic Approaches to Program Semantics – E G Manes, M A Arbib - 1986
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
10 Generic Accumulations – Alberto Pardo - 2002
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
326 Theorems for free! – Philip Wadler - 1989
19 Generic Downwards Accumulations – Jeremy Gibbons - 2000
87 The promotion and accumulation strategies in transformational programming – R Bird - 1984
215 Introduction to Functional Programming using Haskell – R Bird - 1998
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
10 Semantics of the domain of flow diagrams – John C Reynolds - 1977
8 Masato Takeichi. A calculational fusion system HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki - 1997
27 Sorting Morphisms – Lex Augusteijn - 1998
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
26 Calculating Functional Programs – Jeremy Gibbons - 2000