{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T08:41:54Z","timestamp":1787560914281,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,12]],"date-time":"2005-09-12T00:00:00Z","timestamp":1126483200000},"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":[[2005,9,12]]},"DOI":"10.1145\/1086365.1086391","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"204-215","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":57,"title":["Scrap your boilerplate with class"],"prefix":"10.1145","author":[{"given":"Ralf","family":"L\u00e4mmel","sequence":"first","affiliation":[{"name":"Microsoft Corp."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simon Peyton","family":"Jones","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2005,9,12]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/3-540-62688-3_29","volume-title":"Proc 3rd International Conference on Typed Lambda Calculi and Appliactions (TLCA'97)","author":"Brandt Michael","year":"1997","unstructured":"Michael Brandt and Fritz Henglein . Coinductive axiomatization of recursive type equality and subtyping . In Proc 3rd International Conference on Typed Lambda Calculi and Appliactions (TLCA'97) , Nancy, France , volume 1210 of Lecture Notes in Computer Science , pages 63 -- 81 . Springer Verlag , 1997 .]] Michael Brandt and Fritz Henglein. Coinductive axiomatization of recursive type equality and subtyping. In Proc 3rd International Conference on Typed Lambda Calculi and Appliactions (TLCA'97), Nancy, France, volume 1210 of Lecture Notes in Computer Science, pages 63--81. Springer Verlag, 1997.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581494"},{"key":"e_1_3_2_1_3_1","volume-title":"Combinators and functional programming languages. LNCS 242","author":"Cardelli L","year":"1986","unstructured":"L Cardelli . Amber . In G Cousineau, PL Curien, and B Robinet, editors, Combinators and functional programming languages. LNCS 242 , Springer Verlag , 1986 .]] L Cardelli. Amber. In G Cousineau, PL Curien, and B Robinet, editors, Combinators and functional programming languages. LNCS 242, Springer Verlag, 1986.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581698"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581696"},{"key":"e_1_3_2_1_7_1","first-page":"21","volume-title":"Specifically. In Proceedings of the IFIP TC2\/WG2.1 Working Conference on Generic Programming","author":"Clarke Dave","year":"2003","unstructured":"Dave Clarke and Andres L\u00f6h. Generic Haskell , Specifically. In Proceedings of the IFIP TC2\/WG2.1 Working Conference on Generic Programming , pages 21 -- 47 . Kluwer, B.V. , 2003 .]] Dave Clarke and Andres L\u00f6h. Generic Haskell, Specifically. In Proceedings of the IFIP TC2\/WG2.1 Working Conference on Generic Programming, pages 21--47. Kluwer, B.V., 2003.]]"},{"key":"e_1_3_2_1_8_1","volume-title":"The Haskell Application Interoperation Framework Architecture","author":"Foster Simon D.","year":"2004","unstructured":"Simon D. Foster . \"HAIFA : The Haskell Application Interoperation Framework Architecture \"; web site, 2004 --2005. http:\/\/www.repton-world.org.uk\/mediawiki\/index.php\/HAIFA_Wiki.]] Simon D. Foster. \"HAIFA: The Haskell Application Interoperation Framework Architecture\"; web site, 2004--2005. http:\/\/www.repton-world.org.uk\/mediawiki\/index.php\/HAIFA_Wiki.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016882"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199475"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944719"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325708"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016883"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30477-7_5"},{"key":"e_1_3_2_1_18_1","volume-title":"Types and programming languages","author":"Pierce Benjamin","year":"2002","unstructured":"Benjamin Pierce . Types and programming languages . MIT Press , 2002 .]] Benjamin Pierce. Types and programming languages. MIT Press, 2002.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_1_20_1","first-page":"1","volume":"4","author":"Sagonas Konstantinos F.","unstructured":"Konstantinos F. Sagonas , Terrance Swift , and David Scott Warren . An abstract machine for efficiently computing queries to well-founded models. J. Log. Program. , 4 5( 1 -- 3 ):1--41, 2000.]] Konstantinos F. Sagonas, Terrance Swift, and David Scott Warren. An abstract machine for efficiently computing queries to well-founded models. J. Log. Program., 45(1--3):1--41, 2000.]]","journal-title":"J. Log. Program."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040294.1040296"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351246"}],"event":{"name":"ICFP05: ACM SIGPLAN International Conference on Functional Programming","location":"Tallinn Estonia","acronym":"ICFP05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the tenth ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086365.1086391","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086365.1086391","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:12Z","timestamp":1750248492000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086365.1086391"}},"subtitle":["extensible generic functions"],"short-title":[],"issued":{"date-parts":[[2005,9,12]]},"references-count":21,"alternative-id":["10.1145\/1086365.1086391","10.1145\/1086365"],"URL":"https:\/\/doi.org\/10.1145\/1086365.1086391","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1090189.1086391","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9,12]]},"assertion":[{"value":"2005-09-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}