Initial algebra semantics is enough (2007)

by Patricia Johann , Neil Ghani
Venue:Proceedings, Typed Lambda Calculus and Applications
Citations:8 - 5 self

Documents Related by Co-Citation

22 Foundations for structured programming with GADTs – Patricia Johann - 2008
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
15 Monadic augment and generalised short cut fusion – Neil Ghani, Patricia Johann - 2005
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
474 Categories for the working mathematician – S MacLane - 1998
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
90 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
3 Using Monads to Fuse Recursive Programs (Extended Abstract) – Claus Jürgensen - 2002
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
730 Notions of Computation and Monads – Eugenio Moggi - 1991
75 Associated type synonyms – M M T Chakravarty, G Keller, S P Jones - 2005
172 Template Meta-programming for Haskell – Tim Sheard, Simon Peyton Jones - 2002
157 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
135 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
45 Functorial polymorphism – E S Bainbridge, P J Freyd, A Scedrov, P J Scott - 1990
4 Disciplined, efficient, generalised folds for nested datatypes – Clare Martin, Jeremy Gibbons, Ian Bayley