{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:25:08Z","timestamp":1743121508265,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642376504"},{"type":"electronic","value":"9783642376511"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37651-1_4","type":"book-chapter","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T04:10:01Z","timestamp":1365135001000},"page":"72-89","source":"Crossref","is-referenced-by-count":1,"title":["A Generic Functional Representation of Sorted Trees Supporting Attribution"],"prefix":"10.1007","author":[{"given":"Jean-Marie","family":"Gaillourdet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Michel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnd","family":"Poetzsch-Heffter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicole","family":"Rauch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-53101-7_17","volume-title":"Attribute Grammars and their Applications","author":"L. Augusteijn","year":"1990","unstructured":"Augusteijn, L.: The Elegant Compiler Generator System. In: Deransart, P., Jourdan, M. (eds.) Attribute Grammars and their Applications. LNCS, vol.\u00a0461, pp. 238\u2013254. Springer, Heidelberg (1990)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Attribute Grammars","year":"1988","unstructured":"Deransart, P., Jourdan, M., Lorho, B. (eds.): Attribute Grammars. LNCS, vol.\u00a0323. Springer, Heidelberg (1988)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Ganzinger, H.: Increasing modularity and language-independency in automatically generated compilers. Science of Computer Programming (1983)","DOI":"10.1016\/0167-6423(83)90021-7"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Ganzinger, H., Giegerich, R.: Attribute coupled grammars. In: SIGPLAN 1984 Symposium on Compiler Construction, SIGPLAN Notices, vol.\u00a019(6), pp. 157\u2013170. ACM Press (1984)","DOI":"10.1145\/502949.502890"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Ganzinger, H., Giegerich, R., M\u00f6ncke, U., Wilhelm, R.: A truly generative semantics-directed compiler generator. In: SIGPLAN 1982: Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, pp. 172\u2013184. ACM Press (1982)","DOI":"10.1145\/872726.806993"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-57877-3_3","volume-title":"Compiler Construction","author":"G. Hedin","year":"1994","unstructured":"Hedin, G.: An Overview of Door Attribute Grammars. In: Fritzson, P.A. (ed.) CC 1994. LNCS, vol.\u00a0786, pp. 31\u201351. Springer, Heidelberg (1994)"},{"key":"4_CR7","unstructured":"Hendriks, P.R.H.: ASF system user\u2019s guide. Technical Report CS-R8823, CWI (1988)"},{"key":"4_CR8","unstructured":"Hinze, R.: Memo functions, polytypically! In: Proceedings of the 2nd Workshop on Generic Programming, pp. 17\u201332 (2000)"},{"issue":"6","key":"4_CR9","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1017\/S0956796801004129","volume":"11","author":"R. Hinze","year":"2001","unstructured":"Hinze, R., Jeuring, J.: Weaving a web. J. Funct. Program.\u00a011(6), 681\u2013689 (2001)","journal-title":"J. Funct. Program."},{"issue":"5","key":"4_CR10","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1017\/S0956796897002864","volume":"7","author":"G. Huet","year":"1997","unstructured":"Huet, G.: The Zipper. Journal of Functional Programming\u00a07(5), 549\u2013554 (1997)","journal-title":"Journal of Functional Programming"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/3-540-18317-5_10","volume-title":"Functional Programming Languages and Computer Architecture","author":"T. Johnson","year":"1987","unstructured":"Johnson, T.: Attribute Grammars as a Functional Programming Paradigm. In: Kahn, G. (ed.) FPCA 1987. LNCS, vol.\u00a0274, pp. 154\u2013173. Springer, Heidelberg (1987)"},{"key":"4_CR12","unstructured":"Jourdan, M., Parigot, D.: The FNC-2 system: Advances in attribute grammars technology. Technical Report No. 834, INRIA (April 1988)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-54572-7_2","volume-title":"Attribute Grammars, Applications and Systems","author":"U. Kastens","year":"1991","unstructured":"Kastens, U.: Attributed Grammars as a Specification Method. In: Alblas, H., Melichar, B. (eds.) SAGA School 1991. LNCS, vol.\u00a0545, pp. 16\u201347. Springer, Heidelberg (1991)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"GAG: A Practical Compiler Generator","year":"1982","unstructured":"Kastens, U., Hutt, B., Zimmermann, E. (eds.): GAG: A Practical Compiler Generator. LNCS, vol.\u00a0141. Springer, Heidelberg (1982)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Knuth, D.E.: The semantics of context-free languages. Mathematical Systems Theory (1968)","DOI":"10.1007\/BF01692511"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R.: Scrap your boilerplate with XPath-like combinators. In: POPL 2007, Proceedings. ACM Press (January 2007)","DOI":"10.1145\/1190216.1190240"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R., Peyton Jones, S.: Scrap your boilerplate: a practical design pattern for generic programming. In: ACM SIGPLAN Notices, Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation TLDI, vol.\u00a038(3), pp. 26\u201337 (2003)","DOI":"10.1145\/640136.604179"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R., Peyton Jones, S.: Scrap more boilerplate: reflection, zips, and generalised casts. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 2004), pp. 244\u2013255. ACM Press (2004)","DOI":"10.1145\/1016848.1016883"},{"key":"4_CR19","unstructured":"Michel, P.: Adding position structures to Katja. Technical Report 353\/06, University of Kaiserslautern (June 2005)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/10722298_3","volume-title":"Implementation of Functional Languages","author":"S. Peyton Jones","year":"2000","unstructured":"Peyton Jones, S., Marlow, S., Elliott, C.: Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell. In: Koopman, P., Clack, C. (eds.) IFL 1999. LNCS, vol.\u00a01868, pp. 37\u201358. Springer, Heidelberg (2000)"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1007\/s002360050105","volume":"34","author":"A. Poetzsch-Heffter","year":"1997","unstructured":"Poetzsch-Heffter, A.: Prototyping realistic programming languages based on formal specifications. Acta Informatica\u00a034, 737\u2013772 (1997)","journal-title":"Acta Informatica"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-31959-7_12","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Poetzsch-Heffter","year":"2005","unstructured":"Poetzsch-Heffter, A., Rauch, N.: Application and Formal Specification of Sorted Term-Position Algebras. In: Fiadeiro, J.L., Mosses, P.D., Yu, Y. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 201\u2013217. Springer, Heidelberg (2005)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Reps, T., Marceau, C., Teitelbaum, T.: Remote attribute updating for language-based editors. In: ACM-SIGPLAN ACM-SIGACT (ed.) Thirteenth Annual ACM Symposium on Principles of Programming Languages, pp. 1\u201313. ACM Press (January 1986)","DOI":"10.1145\/512644.512645"},{"key":"4_CR24","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1145\/1596550.1596586","volume-title":"Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009","author":"M. Viera","year":"2009","unstructured":"Viera, M., Swierstra, S.D., Swierstra, W.: Attribute grammars fly first-class: how to do aspect oriented programming in haskell. In: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009, pp. 245\u2013256. ACM, New York (2009)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Vogt, H., Swierstra, S., Kuiper, M.: Higher order attribute grammars. In: SIGPLAN 1989 Conference on Progamming Language Design and Implementation, SIGPLAN Notices, vol.\u00a024(7), pp. 131\u2013145. ACM Press (1989)","DOI":"10.1145\/74818.74830"}],"container-title":["Lecture Notes in Computer Science","Programming Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37651-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,13]],"date-time":"2022-02-13T03:35:55Z","timestamp":1644723355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37651-1_4"}},"subtitle":["(Haskell Can Do It)"],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642376504","9783642376511"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37651-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}