K. S. Backhouse, A Functional Semantics of Attribute Grammars, International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2002.
DOI : 10.1007/3-540-46002-0_11

E. Badouel and M. Tonga, Growing a Domain Specific Language with Split Extensions, INRIA Research Report, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00175805

J. A. Bergstra, J. Heering, and P. Klint, Algebraic Specification, 1989.

R. S. Bird, Using circular programs to eliminate multiple traversals of data, Acta Informatica, vol.4, issue.3, p.239250, 1984.
DOI : 10.1007/BF00264249

L. M. Chirica and D. F. Martin, An order-algebraic definition of knuthian semantics, Mathematical Systems Theory, vol.14, issue.1, pp.1-27, 1979.
DOI : 10.1007/BF01744285

C. Clack, S. Clayman, and D. Parrott, Dynamic Cyclic Data Structures in Lazy Functional Languages, 1995.

L. Correnson, E. Duris, D. Parigot, and G. Roussel, Declarative Program Transformation: A Deforestation Case-Study, Principles and Pratice of Declarative Programming, pp.360-377, 1998.
DOI : 10.1007/10704567_22
URL : https://hal.archives-ouvertes.fr/hal-00619914

B. Courcelle and P. Franchi-zannettacci, Attribute grammars and recursive program schemes I, Theoretical Computer Science, vol.17, issue.2, pp.163-191235, 1982.
DOI : 10.1016/0304-3975(82)90003-2
URL : http://doi.org/10.1016/0304-3975(82)90003-2

A. Van-deursen, J. Heering, and P. Klint, Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing, 1996.

E. Duris, D. Parigot, G. Roussel, and M. Jourdan, Structured-directed Genericity in Functional Programming and Attribute Grammars, INRIA Research Report, vol.3105, 1997.

M. Fokkinga, J. Jeuring, L. Meertens, and E. Meijer, A translation from Attribute Grammars to Catamorphisms, The Squiggolist, vol.2, issue.1, pp.20-26, 1991.

H. Ganzinger and R. Giegerich, Attribute coupled grammars, In ACM SIGPLAN', p.84
DOI : 10.1145/502949.502890

N. Ghani, M. Hamana, T. Uustalu, and V. Vene, Representing Cyclic Structures as Nested Datatypes, Proceedings of 7th Trends in Functional Programming, pp.173-188, 2006.

H. The and . Wiki, Tying The Knot, How to build a cyclic data structure

G. Huet, The Zipper, Journal of Functional Programming, vol.7, issue.5, pp.549-554, 1997.
DOI : 10.1017/S0956796897002864

G. Hutton and E. Meijer, Monadic parsing in Haskell, Journal of Functional Programming, vol.8, issue.4, 1998.
DOI : 10.1017/S0956796898003050

P. Johann and N. Ghani, Initial Algebra Semantics is Enough! Typed Lambda Calculus and Applications, 2007.

T. Johnsson, Attribute grammars as a functional programming paradigm, Proc. of 3rd Int. Conf. on Functional Programming and Computer Architecture, FPCA'87, pp.154-173, 1987.
DOI : 10.1007/3-540-18317-5_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8549

M. Jourdan, Strongly non-circular attribute grammars and their recursive evaluation, Proceedings of the ACM SIGPLAN'84 Symposium on Compiler Construction, pp.81-93, 1984.
DOI : 10.1145/502949.502882

C. Jürgensen and H. Vogler, Syntactic composition of top-down tree transducers is short cut fusion, Mathematical Structures in Computer Science, vol.14, issue.2, pp.215-282, 2004.
DOI : 10.1017/S0960129503004109

T. Katayama, Translation of attribute grammars into procedures, ACM Transactions on Programming Languages and Systems, vol.6, issue.3, pp.345-369, 1984.
DOI : 10.1145/579.586

G. Kahn, The semantics of a simple language for parallel programming, Information Processing 74, pp.993-998, 1977.

N. Klarlund and M. I. Schartzbach, Graph Types, Proceedings of the 20 th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'93, pp.196-205, 1993.
DOI : 10.7146/dpb.v21i421.7952

B. Mayoh, Attribute Grammars and Mathematical Semantics, SIAM Journal on Computing, vol.10, issue.3, pp.503-518, 1981.
DOI : 10.1137/0210037

T. Uustalu and V. Vene, Comonadic functional attribute evaluation, Sixth Symposium on Trends in Functional Programming, 2005.

I. Unité-de-recherche, I. Rennes, and I. , Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399