Categorical Views on Computations on Trees (Extended Abstract)

by Ichiro Hasuo , Bart Jacobs , Tarmo Uustalu
Citations:3 - 0 self

Documents Related by Co-Citation

24 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
18 Uniform boilerplate and list processing – C Runciman - 2007
34 Data types à la carte – Wouter Swierstra
15 2010 Language Report – Haskell - 2010
6 Formal Efficiency Analysis for Tree Transducer Composition – Janis Voigtländer - 2004
3 The Expression Problem. http://homepages.inf.ed.ac.uk/wadler/papers/ expression/expression.txt – Philip Wadler - 1998
1 Tree automata: an informal survey, chapter 4 – J W Thatcher - 1973
1 Generic storage in Haskell – S Visser, A Löh - 2010
1 Typed type-level functional programming – B Yorgey - 2010
1 T.: Compdata (2012), http://hackage.haskell.org/ package/compdata, module Data.Comp.Automata – P Bahr, Hvitved
18 Scrap your boilerplate” revolutions – Ralf Hinze, Andres Löh - 2006
19 Monadic Maps and Folds for Arbitrary Datatypes – Maarten Fokkinga - 1994
19 Generic Downwards Accumulations – Jeremy Gibbons - 2000
27 Upwards and downwards accumulations on trees – J Gibbons - 1993
3 Towards Modular Compilers for Effects – Laurence E. Day, Graham Hutton
9 Categorical programming with inductive and coinductive types – Varmo Vene - 2000
6 T.: Compositional Data Types – Patrick Bahr, Tom Hvitved - 2011
3 Generic selections of subexpressions – Martijn van Steenbergen - 2010