{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:33Z","timestamp":1750307793563,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T00:00:00Z","timestamp":1199664000000},"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":[[2008,1,7]]},"DOI":"10.1145\/1328408.1328437","type":"proceedings-article","created":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T14:45:40Z","timestamp":1199717140000},"page":"199-203","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Tool support for refactoring functional programs"],"prefix":"10.1145","author":[{"given":"Huiqing","family":"Li","sequence":"first","affiliation":[{"name":"University of Kent, Canterbury, United Kingdom"}]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[{"name":"University of Kent, Canterbury, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2008,1,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"J. Armstrong. Programming Erlang. Pragmatic Bookshelf 2007.  J. Armstrong. Programming Erlang. Pragmatic Bookshelf 2007."},{"key":"e_1_3_2_1_2_1","unstructured":"J. Armstrong R. Virding C. Wikstr\u00f6m and M. Williams. Concurrent Programming in Erlang. Prentice-Hall second edition 1996.   J. Armstrong R. Virding C. Wikstr\u00f6m and M. Williams. Concurrent Programming in Erlang. Prentice-Hall second edition 1996."},{"key":"e_1_3_2_1_3_1","unstructured":"R. Carlsson. Erlang Syntax Tools. http:\/\/www.erlang.org\/doc\/doc--5.4.12\/lib\/syntax_tools-1.4.3 2004.  R. Carlsson. Erlang Syntax Tools. http:\/\/www.erlang.org\/doc\/doc--5.4.12\/lib\/syntax_tools-1.4.3 2004."},{"volume-title":"Addison-Wesley","year":"1999","author":"Fowler M.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","unstructured":"GHC. GHC - The Glasgow Haskell Compiler. http:\/\/www.haskell.org\/ghc\/.  GHC. GHC - The Glasgow Haskell Compiler. http:\/\/www.haskell.org\/ghc\/."},{"volume-title":"The Proceedings of 8th International Erlang\/OTP User Conference","year":"2002","author":"Gorrie L.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","unstructured":"R. L\u00e4mmel and J. Visser. Generic Programming with Strafunski. http:\/\/www.cs.vu.nl\/Strafunski\/ 2001.  R. L\u00e4mmel and J. Visser. Generic Programming with Strafunski. http:\/\/www.cs.vu.nl\/Strafunski\/ 2001."},{"key":"e_1_3_2_1_8_1","unstructured":"H. Li. Refactoring Haskell Programs. PhD thesis Computing Laboratory University of Kent Canterbury Kent UK September 2006.  H. Li. Refactoring Haskell Programs. PhD thesis Computing Laboratory University of Kent Canterbury Kent UK September 2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871899"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2006.8"},{"key":"e_1_3_2_1_11_1","first-page":"2005","author":"Li H.","year":"2005","journal-title":"Formalising Haskell Refactorings. In Marko van Eekelen, editor, Trends in Functional Programming"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.053"},{"volume-title":"Tam\u00e1s Nagy. Refactoring Erlang Programs. In The Proceedings of 12th International Erlang\/OTP User Conference","year":"2006","author":"Li Huiqing","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","unstructured":"PacSoft. Programatica. http:\/\/www.cse.ogi.edu\/PacSoft\/projects\/programatica\/.  PacSoft. Programatica. http:\/\/www.cse.ogi.edu\/PacSoft\/projects\/programatica\/."},{"volume-title":"Cambridge University Press","year":"2003","author":"Jones S. Peyton","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","unstructured":"Refactor-fp. Refactoring Functional Programs. http:\/\/www.cs.kent.ac.uk\/projects\/refactor-fp\/.  Refactor-fp. Refactoring Functional Programs. http:\/\/www.cs.kent.ac.uk\/projects\/refactor-fp\/."},{"volume-title":"University of Kent","year":"2007","author":"Sultana N.","key":"e_1_3_2_1_17_1"}],"event":{"name":"PEPM08: Partial Evaluation and Program Manipulation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"San Francisco California USA","acronym":"PEPM08"},"container-title":["Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328408.1328437","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1328408.1328437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:22Z","timestamp":1750254982000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328408.1328437"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,7]]},"references-count":17,"alternative-id":["10.1145\/1328408.1328437","10.1145\/1328408"],"URL":"https:\/\/doi.org\/10.1145\/1328408.1328437","relation":{},"subject":[],"published":{"date-parts":[[2008,1,7]]},"assertion":[{"value":"2008-01-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}