{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:02Z","timestamp":1772164022594,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,30]],"date-time":"2010-09-30T00:00:00Z","timestamp":1285804800000},"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":[[2010,9,30]]},"DOI":"10.1145\/1863523.1863529","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T13:41:50Z","timestamp":1285681310000},"page":"37-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":52,"title":["A generic deriving mechanism for Haskell"],"prefix":"10.1145","author":[{"given":"Jos\u00e9 Pedro","family":"Magalh\u00e3es","sequence":"first","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Atze","family":"Dijkstra","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Johan","family":"Jeuring","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, and Open University of the Netherlands, Heerlen, Netherlands"}]},{"given":"Andres","family":"L\u00f6h","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2010,9,30]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"168","volume-title":"IFL'01","author":"Alimarine Artem","year":"2001","unstructured":"}} Artem Alimarine and Rinus Plasmeijer . A Generic Programming Extension for Clean . In IFL'01 , pages 168 -- 185 . Springer-Verlag , 2001 . }}Artem Alimarine and Rinus Plasmeijer. A Generic Programming Extension for Clean. In IFL'01, pages 168--185. Springer-Verlag, 2001."},{"key":"e_1_3_2_2_2_1","series-title":"LNCS","first-page":"28","volume-title":"AFP'98","author":"Backhouse Roland","year":"1999","unstructured":"}} Roland Backhouse , Patrik Jansson , Johan Jeuring , and Lambert Meertens . Generic programming - an introduction . In AFP'98 , volume 1608 of LNCS , pages 28 -- 115 . Springer , 1999 . }}Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic programming - an introduction. In AFP'98, volume 1608 of LNCS, pages 28--115. Springer, 1999."},{"key":"e_1_3_2_2_3_1","volume-title":"Instant generics: Fast and easy","author":"Chakravarty Manuel M. T.","year":"2009","unstructured":"}} Manuel M. T. Chakravarty , Gabriel C. Ditu , and Roman Leshchinskiy . Instant generics: Fast and easy , 2009 . Draft version. }}Manuel M. T. Chakravarty, Gabriel C. Ditu, and Roman Leshchinskiy. Instant generics: Fast and easy, 2009. Draft version."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596650"},{"key":"e_1_3_2_2_5_1","volume-title":"Generic programming with fixed points for parametrized datatypes. Master's thesis","author":"Hesselink Erik","year":"2009","unstructured":"}} Erik Hesselink . Generic programming with fixed points for parametrized datatypes. Master's thesis , Utrecht University , 2009 . }}Erik Hesselink. Generic programming with fixed points for parametrized datatypes. Master's thesis, Utrecht University, 2009."},{"issue":"2","key":"e_1_3_2_2_6_1","first-page":"129","article-title":"Polytypic values possess polykinded types","volume":"43","author":"Hinze Ralf","year":"2002","unstructured":"}} Ralf Hinze . Polytypic values possess polykinded types . SCP , 43 ( 2-3 ): 129 -- 159 , 2002 . }}Ralf Hinze. Polytypic values possess polykinded types. SCP, 43(2-3):129--159, 2002.","journal-title":"SCP"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.10.006"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80542-0"},{"key":"e_1_3_2_2_9_1","series-title":"LNCS","first-page":"148","volume-title":"MPC'02","author":"Hinze Ralf","year":"2002","unstructured":"}} Ralf Hinze , Johan Jeuring , and Andres L\u00f6h . Type-indexed data types . In MPC'02 , volume 2386 of LNCS , pages 148 -- 174 . Springer , 2002 . }}Ralf Hinze, Johan Jeuring, and Andres L\u00f6h. Type-indexed data types. In MPC'02, volume 2386 of LNCS, pages 148--174. Springer, 2002."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1782894.1782896"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263763"},{"key":"e_1_3_2_2_13_1","series-title":"LNCS","first-page":"230","volume-title":"ESOP'00","author":"Jones Mark","year":"2000","unstructured":"}} Mark Jones . Type classes with functional dependencies . In ESOP'00 , volume 1782 of LNCS , pages 230 -- 244 . Springer , 2000 . }}Mark Jones. Type classes with functional dependencies. In ESOP'00, volume 1782 of LNCS, pages 230--244. Springer, 2000."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016883"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706356.1706366"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411318.1411321"},{"key":"e_1_3_2_2_19_1","first-page":"199","volume-title":"TFP'06","author":"Oliveira Bruno C. d. S.","year":"2007","unstructured":"}} Bruno C. d. S. Oliveira , Ralf Hinze , and Andres L\u00f6h . Extensible and modular Bruno C. d. S. Oliveira, Ralf Hinze, and Andres L\u00f6h. Extensible and modular generics for the masses . In TFP'06 , pages 199 -- 216 . Intellect , 2007 . }}Bruno C. d. S. Oliveira, Ralf Hinze, and Andres L\u00f6h. Extensible and modular Bruno C. d. S. Oliveira, Ralf Hinze, and Andres L\u00f6h. Extensible and modular generics for the masses. In TFP'06, pages 199--216. Intellect, 2007."},{"key":"e_1_3_2_2_20_1","volume-title":"Haskell 98, Language and Libraries. The Revised Report","author":"Jones Simon Peyton","year":"2003","unstructured":"}} Simon Peyton Jones Haskell 98, Language and Libraries. The Revised Report . Cambridge University Press , 2003 . A special issue of JFP. }}Simon Peyton Jones et al. Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press, 2003. A special issue of JFP."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411301"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_2_24_1","unstructured":"}}Malcom Wallace et al. Derived instances - Haskell Prime. http:\/\/hackage.haskell.org\/trac\/haskell-prime\/wiki\/derivedInstances April 2007. {Online; accessed 07-June-2010}.  }}Malcom Wallace et al. Derived instances - Haskell Prime. http:\/\/hackage.haskell.org\/trac\/haskell-prime\/wiki\/derivedInstances April 2007. {Online; accessed 07-June-2010}."},{"key":"e_1_3_2_2_25_1","unstructured":"}}Noel Winstanley and John Meacham. DrIFT user guide. http:\/\/repetae.net\/computer\/haskell\/DrIFT\/drift.html February 2008. {Online; accessed 07-June-2010}.  }}Noel Winstanley and John Meacham. DrIFT user guide. http:\/\/repetae.net\/computer\/haskell\/DrIFT\/drift.html February 2008. {Online; accessed 07-June-2010}."}],"event":{"name":"ICFP '10: ACM SIGPLAN International Conference on Functional Programming","location":"Baltimore Maryland USA","acronym":"ICFP '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the third ACM Haskell symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863523.1863529","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863523.1863529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:39:52Z","timestamp":1750232392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863523.1863529"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,30]]},"references-count":24,"alternative-id":["10.1145\/1863523.1863529","10.1145\/1863523"],"URL":"https:\/\/doi.org\/10.1145\/1863523.1863529","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2088456.1863529","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,9,30]]},"assertion":[{"value":"2010-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}