publications: - title: "Generic programming with C++ concepts and Haskell type classes - a comparison" author: - name: "Jean-Philippe Bernardy" link: "http://www.chalmers.se/cse/EN/people/bernardy-jean-philippe" - name: "Patrik Jansson" link: "http://www.chalmers.se/cse/EN/people/jansson-patrik" - name: "Marcin Zalewski" link: "http://www.google.com" - name: "Sibylle Schupp" link: "http://www.sts.tu-harburg.de/~schupp/" year: "2010" doi: "http://dx.doi.org/10.1017/S095679681000016X" abstract: "Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haskell because of its type classes and C++ with the concept feature. We refine these criteria into a taxonomy that captures commonalities and differences between type classes in Haskell and concepts in C++ and discuss which differences are incidental and which ones are due to other language features. The taxonomy allows for an improved understanding of language support for generic programming, and the comparison is useful for the ongoing discussions among language designers and users of both languages." links: doi: "http://dx.doi.org/10.1017/S095679681000016X" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/BernardyJZS10" tags: - "programming languages" - "object-oriented programming" - "generic programming" - "Haskell" - "C++" - "programming" - "subject-oriented programming" - "taxonomy" - "feature-oriented programming" researchr: "https://researchr.org/publication/BernardyJZS10" cites: 0 citedby: 0 journal: "Journal of Functional Programming" volume: "20" number: "3-4" pages: "271-302" kind: "article" key: "BernardyJZS10" - title: "A comparison of c++ concepts and haskell type classes" author: - name: "Jean-Philippe Bernardy" link: "http://www.chalmers.se/cse/EN/people/bernardy-jean-philippe" - name: "Patrik Jansson" link: "http://www.chalmers.se/cse/EN/people/jansson-patrik" - name: "Marcin Zalewski" link: "http://www.google.com" - name: "Sibylle Schupp" link: "http://www.sts.tu-harburg.de/~schupp/" - name: "Andreas P. Priesnitz" link: "https://researchr.org/alias/andreas-p.-priesnitz" year: "2008" doi: "http://doi.acm.org/10.1145/1411318.1411324" abstract: "Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Since each language that meets all criteria is considered generic, those criteria are not fine-grained enough to differentiate between languages for generic programming. We refine these criteria into a taxonomy that captures differences between type classes in Haskell and concepts in C++, and discuss which differences are incidental and which ones are due to other language features. The taxonomy allows for an improved understanding of language support for generic programming, and the comparison is useful for the ongoing discussions among language designers and users of both languages." links: doi: "http://doi.acm.org/10.1145/1411318.1411324" tags: - "programming languages" - "generic programming" - "Haskell" - "C++" - "programming" - "taxonomy" researchr: "https://researchr.org/publication/BernardyJZSP08" cites: 0 citedby: 0 pages: "37-48" booktitle: "Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008" editor: - name: "Ralf Hinze" link: "https://researchr.org/alias/ralf-hinze" - name: "Don Syme" link: "https://researchr.org/alias/don-syme" publisher: "ACM" isbn: "978-1-60558-060-9" kind: "inproceedings" key: "BernardyJZSP08" - title: "Proceedings of the IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009)" year: "2009" tags: - "points-to analysis" - "analysis" - "source-to-source" - "peer-to-peer" - "open-source" researchr: "https://researchr.org/publication/scam%3A2009" cites: 0 citedby: 0 booktitle: "Proceedings of the IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009)" conference: "SCAM" editor: - name: "Andrew Walenstein" link: "http://www.cacs.louisiana.edu/~walenste/home.html" - name: "Sibylle Schupp" link: "http://www.sts.tu-harburg.de/~schupp/" kind: "proceedings" key: "scam:2009"