{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:23Z","timestamp":1750308023244,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,30]],"date-time":"2007-09-30T00:00:00Z","timestamp":1191110400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,9,30]]},"DOI":"10.1145\/1291201.1291216","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"95-106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["A shortcut fusion rule for circular program calculation"],"prefix":"10.1145","author":[{"given":"Jo\u00e3o Paulo","family":"Fernandes","sequence":"first","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}]},{"given":"Alberto","family":"Pardo","sequence":"additional","affiliation":[{"name":"Universidad de la Rep\u00fablica, Montevideo, Uruguay"}]},{"given":"Jo\u00e3o","family":"Saraiva","sequence":"additional","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2007,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"Handbook of Logic in Computer Science","volume":"3","author":"Abramsky S.","year":"1994"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Lex\n       \n      Augusteijn\n    .\n      \n  \n   \n  Sorting morphisms. In Doaitse Swierstra Pedro Henriques and Jos\u00e9 Oliveira editors Third Summer School on Advanced Functional Programming volume \n  1608\n   of \n  LNCS pages \n  1\n  --\n  27 September \n  1998\n  .  Lex Augusteijn. Sorting morphisms. In Doaitse Swierstra Pedro Henriques and Jos\u00e9 Oliveira editors Third Summer School on Advanced Functional Programming volume 1608 of LNCS pages 1--27 September 1998.","DOI":"10.1007\/10704973_1"},{"key":"e_1_3_2_1_3_1","unstructured":"R. Bird. Introduction to Functional Programming using Haskell 2nd edition. Prentice-Hall UK 1998.   R. Bird. Introduction to Functional Programming using Haskell 2nd edition. Prentice-Hall UK 1998."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264249"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"R. S. Bird and O. de Moor. Algebra of Programming. Prentice Hall UK 1997.   R. S. Bird and O. de Moor. Algebra of Programming. Prentice Hall UK 1997.","DOI":"10.1007\/978-3-642-61455-2_12"},{"key":"e_1_3_2_1_7_1","series-title":"Canadian Mathematical Society Conference Proceedings","first-page":"141","volume-title":"International Meeting on Category Theory","author":"Cockett R.","year":"1991"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111056"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581500"},{"key":"e_1_3_2_1_10_1","unstructured":"Oege de Moor Kevin Backhouse and S. Doaitse Swierstra. First-class attribute grammars. Informatica (Slovenia) 24(3) 2000.  Oege de Moor Kevin Backhouse and S. Doaitse Swierstra. First-class attribute grammars. Informatica (Slovenia) 24(3) 2000."},{"key":"e_1_3_2_1_11_1","first-page":"1799","article-title":"Aspect-oriented compilers","author":"de Moor Oege","year":"2000","journal-title":"Lecture Notes in Computer Science"},{"volume-title":"Utrecht University","year":"2005","author":"Dijkstra Atze","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244381.1244399"},{"key":"e_1_3_2_1_15_1","first-page":"148","volume-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, LNCS 2297","author":"Gibbons J.","year":"2002"},{"key":"e_1_3_2_1_16_1","unstructured":"A. Gill. Cheap Deforestation for Non-strict Functional Languages. PhD thesis Department of Computing Science University of Glasgow UK 1996.  A. Gill. Cheap Deforestation for Non-strict Functional Languages. PhD thesis Department of Computing Science University of Glasgow UK 1996."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/982962.964010"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/36583.36593"},{"volume-title":"Jones and Bartlett","year":"2007","author":"Kastens Uwe","key":"e_1_3_2_1_20_1"},{"volume-title":"Computing Science in the Netherlands CSN'87","year":"1987","author":"Kuiper Matthijs","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224223"},{"key":"e_1_3_2_1_23_1","volume-title":"Lawall. Implementing Circularity Using Partial Evaluation. In Proceedings of the Second Symposium on Programs as Data Objects PADO II","volume":"2053","author":"Julia","year":"2001"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190241"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351253"},{"key":"e_1_3_2_1_26_1","first-page":"76","volume-title":"IFIP TC 2 Working Conference on Algorithmic Languages and Calculi","author":"A Calculational Fusion","year":"1997"},{"volume-title":"Dagstuhl","year":"2002","author":"Pardo A.","key":"e_1_3_2_1_27_1"},{"volume-title":"Technische Universit\u00e4t Darmstadt","year":"2001","author":"Pardo A.","key":"e_1_3_2_1_28_1"},{"volume-title":"Utrecht University","year":"1999","author":"Saraiva Jo\u00e3o","key":"e_1_3_2_1_29_1"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Doaitse\n       \n      Swierstra Pablo\n       \n      Azero and \n      \n      \n      Jo\u00e3o\n       \n      Saraiva\n    .\n      \n  \n   \n  Designing and Implementing Combinator Languages. In Doaitse Swierstra Pedro Henriques and Jos\u00e9 Oliveira editors Third Summer School on Advanced Functional Programming volume \n  1608\n   of \n  LNCS Tutorial pages \n  150\n  --\n  206 September \n  1999\n  .  Doaitse Swierstra Pablo Azero and Jo\u00e3o Saraiva. Designing and Implementing Combinator Languages. In Doaitse Swierstra Pedro Henriques and Jos\u00e9 Oliveira editors Third Summer School on Advanced Functional Programming volume 1608 of LNCS Tutorial pages 150--206 September 1999.","DOI":"10.1007\/10704973_4"},{"volume-title":"Systems Implementation","year":"2000","author":"Doaitse Swierstra S.","key":"e_1_3_2_1_31_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224221"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/568173.568187"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90147-A"}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Freiburg Germany","acronym":"ICFP07"},"container-title":["Proceedings of the ACM SIGPLAN workshop on Haskell workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291201.1291216","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1291201.1291216","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:13:52Z","timestamp":1750259632000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291201.1291216"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,30]]},"references-count":33,"alternative-id":["10.1145\/1291201.1291216","10.1145\/1291201"],"URL":"https:\/\/doi.org\/10.1145\/1291201.1291216","relation":{},"subject":[],"published":{"date-parts":[[2007,9,30]]},"assertion":[{"value":"2007-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}