Fold and Unfold for Program Semantics (1998)

Cached

Download Links

by Graham Hutton
Venue:In Proc. 3rd ACM SIGPLAN International Conference on Functional Programming
Citations:22 - 4 self

Documents Related by Co-Citation

299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
1312 Monads for functional programming – Philip Wadler - 1995
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
215 Introduction to Functional Programming using Haskell – R Bird - 1998
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
456 Comprehending Monads – Philip Wadler - 1992
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
26 Monadic Maps and Folds for Arbitrary Datatypes. Memoranda Informatica 94-28 – M M Fokkinga - 1994
86 Algebra of Programming – R Bird, O de Moor - 1997
97 and Order in Algorithmics – Law - 1992
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
10 Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters. – Luc Duponcheel - 1995
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996