{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T00:26:40Z","timestamp":1783643200761,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,13]],"date-time":"2012-09-13T00:00:00Z","timestamp":1347494400000},"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":[[2012,9,13]]},"DOI":"10.1145\/2364506.2364508","type":"proceedings-article","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T09:01:27Z","timestamp":1347440487000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["The HERMIT in the machine"],"prefix":"10.1145","author":[{"given":"Andrew","family":"Farmer","sequence":"first","affiliation":[{"name":"University of Kansas, Lawrence, KS, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andy","family":"Gill","sequence":"additional","affiliation":[{"name":"University of Kansas, Lawrence, KS, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ed","family":"Komp","sequence":"additional","affiliation":[{"name":"University of Kansas, Lawrence, KS, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Neil","family":"Sculthorpe","sequence":"additional","affiliation":[{"name":"University of Kansas, Lawrence, KS, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,9,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The Munich Project CIP","author":"Bauer F. L.","year":"1988","unstructured":"F. L. Bauer , H. Ehler , A. Horsch , B. Moeller , H. Partsch , O. Paukner , and P. Pepper . The Munich Project CIP . Springer-Verlag , 1988 . F. L. Bauer, H. Ehler, A. Horsch, B. Moeller, H. Partsch, O. Paukner, and P. Pepper. The Munich Project CIP. Springer-Verlag, 1988."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/993954"},{"key":"e_1_3_2_1_3_1","volume-title":"Algebra of Programming","author":"Bird R.","year":"1997","unstructured":"R. Bird and O. de Moor . Algebra of Programming . Prentice Hall , 1997 . R. Bird and O. de Moor. Algebra of Programming. Prentice Hall, 1997."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054101000412"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.11.003"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1111209"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-44404-1_7","volume-title":"Logic for Programming and Automated Reasoning","author":"Delahaye D.","year":"2000","unstructured":"D. Delahaye . A tactic language for the system Coq . In Logic for Programming and Automated Reasoning , pages 85 -- 95 . Springer , 2000 . D. Delahaye. A tactic language for the system Coq. In Logic for Programming and Automated Reasoning, pages 85--95. Springer, 2000."},{"key":"e_1_3_2_1_10_1","volume-title":"First class rules and generic traversals for program transformation languages. Technical report","author":"Dolstra E.","year":"2001","unstructured":"E. Dolstra . First class rules and generic traversals for program transformation languages. Technical report , Utrecht University , 2001 . E. Dolstra. First class rules and generic traversals for program transformation languages. Technical report, Utrecht University, 2001."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_3_2_1_12_1","volume-title":"Version 7.4.1","author":"Team GHC","year":"2012","unstructured":"GHC Team . The Glorious Glasgow Haskell Compilation System User's Guide , Version 7.4.1 , 2012 . URL http:\/\/www.haskell.org\/ghc. GHC Team. The Glorious Glasgow Haskell Compilation System User's Guide, Version 7.4.1, 2012. URL http:\/\/www.haskell.org\/ghc."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159842.1159856"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_14"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007175"},{"issue":"2","key":"e_1_3_2_1_16_1","first-page":"173","article-title":"Tool support for the interactive derivation of formally correct functional programs","volume":"9","author":"Guttmann W.","year":"2003","unstructured":"W. Guttmann , H. Partsch , W. Schulte , and T. Vullinghs . Tool support for the interactive derivation of formally correct functional programs . Journal of Universal Computer Science , 9 ( 2 ): 173 -- 188 , 2003 . W. Guttmann, H. Partsch, W. Schulte, and T. Vullinghs. Tool support for the interactive derivation of formally correct functional programs. Journal of Universal Computer Science, 9 (2): 173--188, 2003.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1540610"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325709"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(86)90059-1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-1-84882-912-1_14","volume-title":"Reflections on the Work of C.A.R. Hoare","author":"Kiselyov O.","year":"2010","unstructured":"O. Kiselyov , S. Peyton Jones , and C. Shan . Fun with type functions . In Reflections on the Work of C.A.R. Hoare , chapter 14, pages 301 -- 331 . Springer , 2010 . O. Kiselyov, S. Peyton Jones, and C. Shan. Fun with type functions. In Reflections on the Work of C.A.R. Hoare, chapter 14, pages 301--331. Springer, 2010."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016883"},{"key":"e_1_3_2_1_23_1","first-page":"137","volume-title":"Practical Aspects of Declarative Programming","author":"L\u00e4mmel R.","year":"2002","unstructured":"R. L\u00e4mmel and J. Visser . Typed combinators for generic traversal . In Practical Aspects of Declarative Programming , pages 137 -- 154 . Springer , 2002 . R. L\u00e4mmel and J. Visser. Typed combinators for generic traversal. In Practical Aspects of Declarative Programming, pages 137--154. Springer, 2002."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.11.006"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328408.1328437"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863529"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/645420.652535"},{"key":"e_1_3_2_1_29_1","unstructured":"B. O'Sullivan. http:\/\/hackage.haskell.org\/package\/criterion.  B. O'Sullivan. http:\/\/hackage.haskell.org\/package\/criterion."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/648230.752639"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00248324"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(97)00029-4"},{"key":"e_1_3_2_1_33_1","first-page":"203","volume-title":"Haskell Workshop","author":"Jones S. Peyton","year":"2001","unstructured":"S. Peyton Jones , A. Tolmach , and T. Hoare . Playing by the rules: rewriting as a practical optimisation technique in GHC . In Haskell Workshop , pages 203 -- 233 . ACM, 2001 . S. Peyton Jones, A. Tolmach, and T. Hoare. Playing by the rules: rewriting as a practical optimisation technique in GHC. In Haskell Workshop, pages 203--233. ACM, 2001."},{"key":"e_1_3_2_1_34_1","volume-title":"Types and Programming Languages","author":"Pierce B. C.","year":"2002","unstructured":"B. C. Pierce . Types and Programming Languages . MIT Press , 2002 . B. C. Pierce. Types and Programming Languages. MIT Press, 2002."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411301"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/215465.215587"},{"key":"e_1_3_2_1_37_1","unstructured":"A. Santos. Compilation by Transformation in Non-Strict Functional Languages. PhD thesis University of Glasgow 1995.  A. Santos. Compilation by Transformation in Non-Strict Functional Languages. PhD thesis University of Glasgow 1995."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190324"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25935-0_13"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.12.011"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289425"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364554"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926411"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034818"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596585"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"ICFP'12: ACM SIGPLAN International Conference on Functional Programming","location":"Copenhagen Denmark","acronym":"ICFP'12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2012 Haskell Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2364506.2364508","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2364506.2364508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:33:58Z","timestamp":1750224838000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2364506.2364508"}},"subtitle":["a plugin for the interactive transformation of GHC core language programs"],"short-title":[],"issued":{"date-parts":[[2012,9,13]]},"references-count":45,"alternative-id":["10.1145\/2364506.2364508","10.1145\/2364506"],"URL":"https:\/\/doi.org\/10.1145\/2364506.2364508","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2430532.2364508","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,9,13]]},"assertion":[{"value":"2012-09-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}