{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T21:07:43Z","timestamp":1764364063869},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242755"},{"type":"electronic","value":"9783642242762"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24276-2_7","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T10:49:23Z","timestamp":1318243763000},"page":"105-120","source":"Crossref","is-referenced-by-count":5,"title":["Dependently Typed Attribute Grammars"],"prefix":"10.1007","author":[{"given":"Arie","family":"Middelkoop","sequence":"first","affiliation":[]},{"given":"Atze","family":"Dijkstra","sequence":"additional","affiliation":[]},{"given":"S. Doaitse","family":"Swierstra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-03153-3_2","volume-title":"Language Engineering and Rigorous Software Development","author":"A. Bove","year":"2009","unstructured":"Bove, A., Dybjer, P.: Dependent Types at Work. In: Bove, A., Barbosa, L.S., Pardo, A., Pinto, J.S. (eds.) Language Engineering and Rigorous Software Development. LNCS, vol.\u00a05520, pp. 57\u201399. Springer, Heidelberg (2009)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF00288644","volume":"13","author":"U. Kastens","year":"1980","unstructured":"Kastens, U.: Ordered Attributed Grammars. Acta Informatica\u00a013, 229\u2013256 (1980)","journal-title":"Acta Informatica"},{"issue":"2","key":"7_CR3","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of Context-Free Languages. Mathematical Systems Theory\u00a02(2), 127\u2013145 (1968)","journal-title":"Mathematical Systems Theory"},{"key":"7_CR4","unstructured":"Middelkoop, A., Dijkstra, A., Swierstra, S.D.: Attribute Grammars with Side Effect. In: HOSC (2010), \n                  \n                    http:\/\/people.cs.uu.nl\/ariem\/wgt10-journal.pdf"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Middelkoop, A., Dijkstra, A., Swierstra, S.D.: Iterative Type Inference with Attribute Grammars. In: GPCE 2010, pp. 43\u201352 (2010)","DOI":"10.1145\/1868294.1868302"},{"key":"7_CR6","unstructured":"Middelkoop, A., Dijkstra, A., Swierstra, S.D.: Visit Functions for the Semantics of Programming Languages. In: WGT 2010 (2010), \n                  \n                    http:\/\/people.cs.uu.nl\/ariem\/wgt10-visit.pdf"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Norell, U.: Dependently-typed Programming in Agda. In: TLDI 2009, pp. 1\u20132 (2009)","DOI":"10.1007\/978-3-642-04652-0_5"},{"key":"7_CR8","unstructured":"Saraiva, J., Swierstra, S.D.: Purely Functional Implementation of Attribute Grammars. Tech. rep., Universiteit Utrecht (1999)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Swierstra, S.D., Alcocer, P.R.A.: Attribute Grammars in the Functional Style. In: Systems Implementation 2000, pp. 180\u2013193 (1998)","DOI":"10.1007\/978-0-387-35350-0_14"},{"key":"7_CR10","unstructured":"Universiteit Utrecht: Homepage of the Universiteit Utrecht Attribute Grammar System (1998), \n                  \n                    http:\/\/www.cs.uu.nl\/wiki\/HUT\/AttributeGrammarSystem"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24276-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,10]],"date-time":"2019-04-10T08:37:58Z","timestamp":1554885478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24276-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242755","9783642242762"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24276-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}