@inproceedings{BernardyJC10,
  title = {Testing Polymorphic Properties},
  author = {Jean-Philippe Bernardy and Patrik Jansson and Koen Claessen},
  year = {2010},
  doi = {10.1007/978-3-642-11957-6_8},
  url = {http://dx.doi.org/10.1007/978-3-642-11957-6_8},
  tags = {XML, XML Schema, testing},
  researchr = {https://researchr.org/publication/BernardyJC10},
  cites = {0},
  citedby = {0},
  pages = {125-144},
  booktitle = {ESOP},
}

@article{BernardyJZS10,
  title = {Generic programming with C++ concepts and Haskell type classes - a comparison},
  author = {Jean-Philippe Bernardy and Patrik Jansson and Marcin Zalewski and Sibylle Schupp},
  year = {2010},
  doi = {10.1017/S095679681000016X},
  url = {http://dx.doi.org/10.1017/S095679681000016X},
  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 = {JFP},
  volume = {20},
  number = {3-4},
  pages = {271-302},
}

@inproceedings{BernardyJZSP08,
  title = {A comparison of c++ concepts and haskell type classes},
  author = {Jean-Philippe Bernardy and Patrik Jansson and Marcin Zalewski and Sibylle Schupp and Andreas P. Priesnitz},
  year = {2008},
  doi = {10.1145/1411318.1411324},
  url = {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 = {ICFP},
}

@inproceedings{BernardyJP10,
  title = {Parametricity and dependent types},
  author = {Jean-Philippe Bernardy and Patrik Jansson and Ross Paterson},
  year = {2010},
  doi = {10.1145/1863543.1863592},
  url = {http://doi.acm.org/10.1145/1863543.1863592},
  tags = {translation, constraints, type system, logic, abstraction},
  researchr = {https://researchr.org/publication/BernardyJP10},
  cites = {0},
  citedby = {0},
  pages = {345-356},
  booktitle = {ICFP},
}