{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:49:29Z","timestamp":1760042969037,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T00:00:00Z","timestamp":1221868800000},"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,9,20]]},"DOI":"10.1145\/1411318.1411324","type":"proceedings-article","created":{"date-parts":[[2008,9,23]],"date-time":"2008-09-23T13:39:01Z","timestamp":1222177141000},"page":"37-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["A comparison of c++ concepts and haskell type classes"],"prefix":"10.1145","author":[{"given":"Jean-Philippe","family":"Bernardy","sequence":"first","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrik","family":"Jansson","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcin","family":"Zalewski","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sibylle","family":"Schupp","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Priesnitz","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Generic programming and the STL: using and extending the C++ Standard Template Library","author":"Austern M. H.","year":"1998","unstructured":"M. H. Austern . Generic programming and the STL: using and extending the C++ Standard Template Library . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1998 . M. H. Austern. Generic programming and the STL: using and extending the C++ Standard Template Library. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1998."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1090189.1086397"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040306"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111064"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006198"},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","first-page":"1","volume-title":"Spring School on Datatype-Generic Programming","author":"Gibbons J.","year":"2007","unstructured":"J. Gibbons . Datatype-generic programming . In Spring School on Datatype-Generic Programming , volume 4719 of LNCS , pages 1 -- 71 . Springer , 2007 . J. Gibbons. Datatype-generic programming. In Spring School on Datatype-Generic Programming, volume 4719 of LNCS, pages 1--71. Springer, 2007."},{"key":"e_1_3_2_1_9_1","volume-title":"Technical Report 638","author":"Gottschling P.","year":"2006","unstructured":"P. Gottschling . Fundamental algebraic concepts in concept-enabled C++. Technical Report 638 , Indiana University , 2006 . P. Gottschling. Fundamental algebraic concepts in concept-enabled C++. Technical Report 638, Indiana University, 2006."},{"key":"e_1_3_2_1_11_1","volume-title":"Jan.","author":"Gregor D.","year":"2008","unstructured":"D. Gregor . Concept GCC - a prototype compiler for C++ concepts. http:\/\/www.generic-programming.org\/software\/ConceptGCC\/ , Jan. 2008 . D. Gregor. ConceptGCC - a prototype compiler for C++ concepts. http:\/\/www.generic-programming.org\/software\/ConceptGCC\/, Jan. 2008."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167499"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. 2000 ACM SIGPLAN Haskell Workshop","volume":"41","author":"Hinze R.","year":"2001","unstructured":"R. Hinze and S. Peyton Jones . Derivable type classes. In G. Hutton, editor , Proc. 2000 ACM SIGPLAN Haskell Workshop , volume 41 .1 of Electronic Notes in Theoretical Computer Science. Elsevier Science , 2001 . R. Hinze and S. Peyton Jones. Derivable type classes. In G. Hutton, editor, Proc. 2000 ACM SIGPLAN Haskell Workshop, volume 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263763"},{"key":"e_1_3_2_1_18_1","series-title":"LNCS","volume-title":"Generic Programming: International Seminar","author":"Jazayeri M.","year":"1998","unstructured":"M. Jazayeri , R. Loos , and D. Musser , editors . Generic Programming: International Seminar , Dagstuhl Castle , Germany, 1998 , Selected Papers, volume 1766 of LNCS , 2000. Springer . M. Jazayeri, R. Loos, and D. Musser, editors. Generic Programming: International Seminar, Dagstuhl Castle, Germany, 1998, Selected Papers, volume 1766 of LNCS, 2000. Springer."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165190"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46425-5_15"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01019005"},{"key":"e_1_3_2_1_22_1","first-page":"77","volume-title":"Proc. 2001 ACM SIGPLAN Haskell Workshop","author":"Kahl W.","year":"2001","unstructured":"W. Kahl and J. Scheffczyk . Named instances for Haskell type classes. In R. Hinze, editor , Proc. 2001 ACM SIGPLAN Haskell Workshop , pages 77 -- 99 . Elsevier Science , 2001 . W. Kahl and J. Scheffczyk. Named instances for Haskell type classes. In R. Hinze, editor, Proc. 2001 ACM SIGPLAN Haskell Workshop, pages 77--99. Elsevier Science, 2001."},{"key":"e_1_3_2_1_23_1","volume-title":"Apr.","author":"Kiselyov O.","year":"2008","unstructured":"O. Kiselyov and S. Peyton Jones . Choosing a type-class instance based on the context , Apr. 2008 . URL http:\/\/haskell.org\/haskellwiki\/GHC\/AdvancedOverlap. O. Kiselyov and S. Peyton Jones. Choosing a type-class instance based on the context, Apr. 2008. URL http:\/\/haskell.org\/haskellwiki\/GHC\/AdvancedOverlap."},{"key":"e_1_3_2_1_24_1","volume-title":"Draft Proceedings of Trends in Functional Programming","author":"Kiselyov O.","year":"2007","unstructured":"O. Kiselyov and C.-C. Shan . Lightweight static resources, for safe embedded and systems programming . In Draft Proceedings of Trends in Functional Programming . Seton Hall University , 2007 . O. Kiselyov and C.-C. Shan. Lightweight static resources, for safe embedded and systems programming. In Draft Proceedings of Trends in Functional Programming. Seton Hall University, 2007."},{"key":"e_1_3_2_1_25_1","volume-title":"Class alias proposal for Haskell","author":"Meacham J.","year":"2006","unstructured":"J. Meacham . Class alias proposal for Haskell , 2006 . URL http:\/\/repetae.net\/recent\/out\/classalias.html. J. Meacham. Class alias proposal for Haskell, 2006. URL http:\/\/repetae.net\/recent\/out\/classalias.html."},{"key":"e_1_3_2_1_26_1","volume-title":"Dept. of Computer Science","author":"Mitchell N.","year":"2007","unstructured":"N. Mitchell . Deriving generic functions by example. Technical report , Dept. of Computer Science , University of York , UK, 2007 . Tech. Report YCS-2007-421. N. Mitchell. Deriving generic functions by example. Technical report, Dept. of Computer Science, University of York, UK, 2007. Tech. Report YCS-2007-421."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159861.1159871"},{"key":"e_1_3_2_1_28_1","volume-title":"Haskell 98 Language and Libraries: the Revised Report","author":"Jones S. Peyton","year":"2003","unstructured":"S. Peyton Jones . Haskell 98 Language and Libraries: the Revised Report . Cambridge University Press , 2003 . S. Peyton Jones. Haskell 98 Language and Libraries: the Revised Report. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_29_1","volume-title":"Haskell Workshop","author":"Jones S. Peyton","year":"1997","unstructured":"S. Peyton Jones , M. Jones , and E. Meijer . Type classes: an exploration of the design space . In Haskell Workshop , 1997 . S. Peyton Jones, M. Jones, and E. Meijer. Type classes: an exploration of the design space. In Haskell Workshop, 1997."},{"key":"e_1_3_2_1_30_1","unstructured":"R. Rivera B. Dawes and D. Abrahams. The boost C++ libraries. http:\/\/www.boost.org\/ 2008.  R. Rivera B. Dawes and D. Abrahams. The boost C++ libraries. http:\/\/www.boost.org\/ 2008."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411301"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76786-2_5"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/636517.636528"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065021"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159861.1159869"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190324"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006137"},{"key":"e_1_3_2_1_40_1","volume-title":"C++ Templates: The Complete Guide","author":"Vandevoorde D.","year":"2002","unstructured":"D. Vandevoorde and N. M. Josuttis . C++ Templates: The Complete Guide . Addison-Wesley Professional , Nov. 2002 . D. Vandevoorde and N. M. Josuttis. C++ Templates: The Complete Guide. Addison-Wesley Professional, Nov. 2002."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_42_1","volume-title":"Adobe Systems","author":"Willcock J.","year":"2004","unstructured":"J. Willcock , J. J\u00e4rvi , A. Lumsdaine , and D. Musser . A formalization of concepts for generic programming. In Concepts: a Linguistic Foundation of Generic Programming at Adobe Tech Summit . Adobe Systems , Apr. 2004 . J. Willcock, J. J\u00e4rvi, A. Lumsdaine, and D. Musser. A formalization of concepts for generic programming. In Concepts: a Linguistic Foundation of Generic Programming at Adobe Tech Summit. Adobe Systems, Apr. 2004."},{"key":"e_1_3_2_1_43_1","volume-title":"MPOOL 2007","author":"Zalewski M.","year":"2007","unstructured":"M. Zalewski , A. P. Priesnitz , C. Ionescu , N. Botta , and S. Schupp . Multi-language library development: From Haskell type classes to C++ concepts . In MPOOL 2007 , 2007 . M. Zalewski, A. P. Priesnitz, C. Ionescu, N. Botta, and S. Schupp. Multi-language library development: From Haskell type classes to C++ concepts. In MPOOL 2007, 2007."}],"event":{"name":"ICFP08: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Victoria BC Canada","acronym":"ICFP08"},"container-title":["Proceedings of the ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411318.1411324","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1411318.1411324","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:29Z","timestamp":1750253369000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411318.1411324"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,20]]},"references-count":37,"alternative-id":["10.1145\/1411318.1411324","10.1145\/1411318"],"URL":"https:\/\/doi.org\/10.1145\/1411318.1411324","relation":{},"subject":[],"published":{"date-parts":[[2008,9,20]]},"assertion":[{"value":"2008-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}