{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:17:42Z","timestamp":1725794262495},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319071503"},{"type":"electronic","value":"9783319071510"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07151-0_9","type":"book-chapter","created":{"date-parts":[[2014,5,21]],"date-time":"2014-05-21T23:30:14Z","timestamp":1400715014000},"page":"136-151","source":"Crossref","is-referenced-by-count":1,"title":["Generic Programming with Multiple Parameters"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Pedro","family":"Magalh\u00e3es","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-46028-4_11","volume-title":"Implementation of Functional Languages","author":"A. Alimarine","year":"2002","unstructured":"Alimarine, A., Plasmeijer, R.: A generic programming extension for Clean. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol.\u00a02312, pp. 168\u2013185. Springer, Heidelberg (2002)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/10704973_2","volume-title":"Advanced Functional Programming","author":"R. Backhouse","year":"1999","unstructured":"Backhouse, R., Jansson, P., Jeuring, J., Meertens, L.: Generic programming: An introduction. In: Swierstra, S.D., Oliveira, J.N. (eds.) AFP 1998. LNCS, vol.\u00a01608, pp. 28\u2013115. Springer, Heidelberg (1999)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-76786-2_2","volume-title":"Datatype-Generic Programming","author":"R. Hinze","year":"2007","unstructured":"Hinze, R., Jeuring, J., L\u00f6h, A.: Comparing approaches to generic programming in Haskell. In: Backhouse, R., Gibbons, J., Hinze, R., Jeuring, J. (eds.) SSDGP 2006. LNCS, vol.\u00a04719, pp. 72\u2013149. Springer, Heidelberg (2007)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., L\u00e4mmel, R., Schupke, K.: Strongly typed heterogeneous collections. In: Proceedings of the 2004 ACM SIGPLAN Workshop on Haskell, Haskell 2004, pp. 96\u2013107. ACM (2004), doi:10.1145\/1017472.1017488","DOI":"10.1145\/1017472.1017488"},{"key":"9_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":"9_CR6","unstructured":"L\u00f6h, A.: Exploring Generic Haskell. PhD thesis, Universiteit Utrecht (2004), http:\/\/igitur-archive.library.uu.nl\/dissertations\/2004-1130-111344"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"L\u00f6h, A., Magalh\u00e3es, J.P.: Generic programming with indexed functors. In: Proceedings of the 7th ACM SIGPLAN Workshop on Generic Programming, pp. 1\u201312. ACM (2011), doi:10.1145\/2036918.2036920","DOI":"10.1145\/2036918.2036920"},{"key":"9_CR8","unstructured":"Magalh\u00e3es, J.P.: Less Is More: Generic Programming Theory and Practice. PhD thesis, Universiteit Utrecht (2012)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Magalh\u00e3es, J.P.: The right kind of generic programming. In: Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming, WGP 2012, pp. 13\u201324. ACM, New York (2012) ISBN 978-1-4503-1576-0, doi:10.1145\/2364394.2364397","DOI":"10.1145\/2364394.2364397"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Magalh\u00e3es, J.P., L\u00f6h, A.: Generic generic programming (2014), http:\/\/dreixel.net\/research\/pdf\/ggp.pdf , Accepted for publication at Practical Aspects of Declarative Languages (PADL 2014)","DOI":"10.1007\/978-3-319-04132-2_15"},{"key":"9_CR11","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":"9_CR12","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S. (ed.): Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press (2003), doi:10.1017\/S0956796803000315, Journal of Functional Programming Special Issue 13(1)","DOI":"10.1017\/S0956796803001217"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Rodriguez Yakushev, A., Jeuring, J., Jansson, P., Gerdes, A., Kiselyov, O., Oliveira, B.C.D.S.: Comparing libraries for generic programming in Haskell. In: Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, pp. 111\u2013122. ACM (2008), doi:10.1145\/1411286.1411301","DOI":"10.1145\/1411286.1411301"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Weirich, S., Casinghino, C.: Arity-generic datatype-generic programming. In: Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages meets Program Verification, pp. 15\u201326. ACM (2010), doi:10.1145\/1707790.1707799","DOI":"10.1145\/1707790.1707799"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Weirich, S., Hsu, J., Eisenberg, R.A.: System FC with explicit kind equality. In: Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP 2013, pp. 275\u2013286. ACM (2013), doi:10.1145\/2500365.2500599","DOI":"10.1145\/2500365.2500599"},{"key":"9_CR16","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","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07151-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T05:41:46Z","timestamp":1689226906000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07151-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319071503","9783319071510"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07151-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}