@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 = {Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
  editor = {Andrew D. Gordon},
  volume = {6012},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11956-9},
}

@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 = {Journal of Functional Programming},
  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 = {Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008},
  editor = {Ralf Hinze and Don Syme},
  publisher = {ACM},
  isbn = {978-1-60558-060-9},
}

@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 = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
  editor = {Paul Hudak and Stephanie Weirich},
  publisher = {ACM},
  isbn = {978-1-60558-794-3},
}