{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:37:43Z","timestamp":1725763063164},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319041315"},{"type":"electronic","value":"9783319041322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04132-2_15","type":"book-chapter","created":{"date-parts":[[2013,12,9]],"date-time":"2013-12-09T02:49:14Z","timestamp":1386557354000},"page":"216-231","source":"Crossref","is-referenced-by-count":5,"title":["Generic Generic Programming"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Pedro","family":"Magalh\u00e3es","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andres","family":"L\u00f6h","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Chakravarty, M.M.T., Ditu, G.C., Leshchinskiy, R.: Instant generics: Fast and easy (2009), \n                  \n                    http:\/\/www.cse.unsw.edu.au\/~chak\/papers\/CDL09.html"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/11783596_13","volume-title":"Mathematics of Program Construction","author":"R. Hinze","year":"2006","unstructured":"Hinze, R., L\u00f6h, A.: \u201cScrap Your Boilerplate\u201d revolutions. In: Uustalu, T. (ed.) MPC 2006. LNCS, vol.\u00a04014, pp. 180\u2013208. Springer, Heidelberg (2006), doi:10.1007\/11783596_13"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/11737414_3","volume-title":"Functional and Logic Programming","author":"R. Hinze","year":"2006","unstructured":"Hinze, R., L\u00f6h, A., Oliveira, B.C.d.S.: \u201cScrap Your Boilerplate\u201d reloaded. In: Hagiya, M. (ed.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 13\u201329. Springer, Heidelberg (2006), doi:10.1007\/11737414_3"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/11783596_14","volume-title":"Mathematics of Program Construction","author":"S. Holdermans","year":"2006","unstructured":"Holdermans, S., Jeuring, J., L\u00f6h, A., Rodriguez Yakushev, A.: Generic views on data types. In: Uustalu, T. (ed.) MPC 2006. LNCS, vol.\u00a04014, pp. 209\u2013234. Springer, Heidelberg (2006), doi:10.1007\/11783596_14"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R., Peyton Jones, S.: Scrap your boilerplate: a practical design pattern for generic programming. In: Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, pp. 26\u201337. ACM (2003), doi:10.1145\/604174.604179","DOI":"10.1145\/604174.604179"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R., Peyton Jones, S.: Scrap more boilerplate: reflection, zips, and generalised casts. In: Proceedings of the 9th ACM SIGPLAN International Conference on Functional Programming, pp. 244\u2013255. ACM (2004), doi:10.1145\/1016850.1016883","DOI":"10.1145\/1016850.1016883"},{"key":"15_CR7","unstructured":"Magalh\u00e3es, J.P.: Less Is More: Generic Programming Theory and Practice. PhD thesis, Universiteit Utrecht (2012)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Magalh\u00e3es, J.P.: Optimisation of generic programs through inlining. Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages, IFL 2012 (2013)","DOI":"10.1007\/978-3-642-41582-1_7"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Magalh\u00e3es, J.P., L\u00f6h, A.: A formal comparison of approaches to datatype-generic programming. In: Chapman, J., Levy, P.B. (eds.) Proceedings Fourth Workshop on Mathematically Structured Functional Programming. Electronic Proceedings in Theoretical Computer Science, vol.\u00a076, pp. 50\u201367. Open Publishing Association (2012), doi:10.4204\/EPTCS.76.6","DOI":"10.4204\/EPTCS.76.6"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Magalh\u00e3es, J.P., Dijkstra, A., Jeuring, J., L\u00f6h, A.: A generic deriving mechanism for Haskell. In: Proceedings of the 3rd ACM Haskell Symposium on Haskell, pp. 37\u201348. ACM (2010), doi:10.1145\/1863523.1863529","DOI":"10.1145\/1863523.1863529"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Mitchell, N., Runciman, C.: Uniform boilerplate and list processing. In: Proceedings of the ACM SIGPLAN Workshop on Haskell, pp. 49\u201360. ACM (2007), doi:10.1145\/1291201.1291208","DOI":"10.1145\/1291201.1291208"},{"key":"15_CR12","unstructured":"Morris, P.: Constructing Universes for Generic Programming. PhD thesis, The University of Nottingham (November 2007)"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Van Noort, T., Rodriguez Yakushev, A., Holdermans, S., Jeuring, J., Heeren, B.: A lightweight approach to datatype-generic rewriting. In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, pp. 13\u201324. ACM (2008), doi:10.1145\/1411318.1411321","DOI":"10.1145\/1411318.1411321"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Rodriguez Yakushev, A., Holdermans, S., L\u00f6h, A., Jeuring, J.: Generic programming with fixed points for mutually recursive datatypes. In: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, pp. 233\u2013244. ACM (2009), doi:10.1145\/1596550.1596585","DOI":"10.1145\/1596550.1596585"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Schrijvers, T., Peyton Jones, S., Chakravarty, M., Sulzmann, M.: Type checking with open type functions. In: Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming, pp. 51\u201362. ACM (2008), doi:10.1145\/1411204.1411215","DOI":"10.1145\/1411204.1411215"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Schrijvers, T., Peyton Jones, S., Sulzmann, M., Vytiniotis, D.: Complete and decidable type inference for GADTs. In: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, pp. 341\u2013352. ACM (2009), doi:10.1145\/1596550.1596599","DOI":"10.1145\/1596550.1596599"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Sheard, T., Peyton Jones, S.: Template meta-programming for Haskell. In: Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, vol.\u00a037, pp. 1\u201316. ACM (December 2002), doi:10.1145\/581690.581691","DOI":"10.1145\/581690.581691"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Yorgey, B.A., Weirich, S., Cretin, J., Peyton Jones, S., Vytiniotis, D., Magalh\u00e3es, J.P.: Giving Haskell a promotion. In: Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation, pp. 53\u201366. ACM (2012), doi:10.1145\/2103786.2103795","DOI":"10.1145\/2103786.2103795"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04132-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T08:26:14Z","timestamp":1558772774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-04132-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319041315","9783319041322"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04132-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}