@inproceedings{JanssonJ99,
  title = {Polytypic Compact Printing and Parsing},
  author = {Patrik Jansson and Johan  Jeuring},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1576/15760273.htm},
  tags = {polytypic, parsing},
  researchr = {https://researchr.org/publication/JanssonJ99},
  cites = {0},
  citedby = {0},
  pages = {273-287},
  booktitle = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings},
  editor = {S. Doaitse Swierstra},
  volume = {1576},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65699-5},
}

@inproceedings{JeuringJ96,
  title = {Polytypic Programming},
  author = {Johan  Jeuring and Patrik Jansson},
  year = {1996},
  tags = {polytypic programming, Haskell,  QML, programming, polytypic},
  researchr = {https://researchr.org/publication/JeuringJ96},
  cites = {0},
  citedby = {0},
  pages = {68-114},
  booktitle = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text},
  editor = {John Launchbury and Erik Meijer and Tim  Sheard},
  volume = {1129},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61628-4},
}

@article{MuKJ09,
  title = {Algebra of programming in Agda: Dependent types for relational program derivation},
  author = {Shin-Cheng Mu and Hsiang-Shang Ko and Patrik Jansson},
  year = {2009},
  doi = {10.1017/S0956796809007345},
  url = {http://dx.doi.org/10.1017/S0956796809007345},
  tags = {programming languages, rule-based, meta programming, program verification, meta-model, modeling language, language modeling, relational algebra, type system, rules, algebraic specification,  algebra, programming, type theory, Meta-Environment},
  researchr = {https://researchr.org/publication/MuKJ09},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {19},
  number = {5},
  pages = {545-579},
}

@inproceedings{BNFC-meta-Haskell2011,
  title = {Embedded Parser Generators},
  author = {Jonas Duregård and Patrik Jansson},
  year = {2011},
  doi = {10.1145/2034675.2034689},
  url = {http://doi.acm.org/10.1145/2034675.2034689},
  tags = {model checking, meta-model, abstract syntax, Haskell, reuse, writing, code generation, type checking, compiler, DSL, context-aware, Meta-Environment, parsing, concrete syntax, meta-objects, grammar},
  researchr = {https://researchr.org/publication/BNFC-meta-Haskell2011},
  cites = {0},
  citedby = {0},
  pages = {107-117},
  booktitle = {Proceedings of the 4th ACM Symposium on Haskell},
  series = {Haskell '11},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {978-1-4503-0860-1},
}

@inproceedings{NorellJ03,
  title = {Polytypic Programming in Haskell},
  author = {Ulf Norell and Patrik Jansson},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3145&spage=168},
  tags = {polytypic programming, Haskell, programming, polytypic},
  researchr = {https://researchr.org/publication/NorellJ03},
  cites = {0},
  citedby = {0},
  pages = {168-184},
  booktitle = {Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers},
  editor = {Philip W. Trinder and Greg Michaelson and Ricardo Pena},
  volume = {3145},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23727-5},
}

@inproceedings{NorellJ04,
  title = {Prototyping Generic Programming in Template Haskell},
  author = {Ulf Norell and Patrik Jansson},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=314},
  tags = {generic programming, Haskell, programming},
  researchr = {https://researchr.org/publication/NorellJ04},
  cites = {0},
  citedby = {0},
  pages = {314-333},
  booktitle = {Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
  editor = {Dexter Kozen and Carron Shankland},
  volume = {3125},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22380-0},
}

@article{BenkeDJ03,
  title = {Universes for Generic Programs and Proofs in Dependent Type Theory},
  author = {Marcin Benke and Peter Dybjer and Patrik Jansson},
  year = {2003},
  tags = {generic programming, type theory},
  researchr = {https://researchr.org/publication/BenkeDJ03},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {10},
  number = {4},
  pages = {265-289},
}

@inproceedings{JanssonJCEKMOV06,
  title = {Testing Properties of Generic Functions},
  author = {Patrik Jansson and Johan  Jeuring and Laurence Cabenda and Gerbo Engels and Jacob Kleerekoper and Sander Mak and Michiel Overeem and Kees Visser},
  year = {2006},
  doi = {10.1007/978-3-540-74130-5_13},
  url = {http://dx.doi.org/10.1007/978-3-540-74130-5_13},
  tags = {rule-based, testing, Haskell, data-flow, type checking, QuickCheck},
  researchr = {https://researchr.org/publication/JanssonJCEKMOV06},
  cites = {0},
  citedby = {0},
  pages = {217-234},
  booktitle = {Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers},
  editor = {Zoltán Horváth and Viktória Zsók and Andrew Butterfield},
  volume = {4449},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74129-9},
}

@inproceedings{MuKJ08,
  title = {Algebra of Programming Using Dependent Types},
  author = {Shin-Cheng Mu and Hsiang-Shang Ko and Patrik Jansson},
  year = {2008},
  doi = {10.1007/978-3-540-70594-9_15},
  url = {http://dx.doi.org/10.1007/978-3-540-70594-9_15},
  tags = {programming languages, functional programming, relational algebra, type system, algebraic specification,  algebra, programming, type theory},
  researchr = {https://researchr.org/publication/MuKJ08},
  cites = {0},
  citedby = {0},
  pages = {268-283},
  booktitle = {Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings},
  editor = {Philippe Audebaud and Christine Paulin-Mohring},
  volume = {5133},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70593-2},
}

@inproceedings{DanielssonJ04,
  title = {Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values},
  author = {Nils Anders Danielsson and Patrik Jansson},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=85},
  tags = {case study, program verification},
  researchr = {https://researchr.org/publication/DanielssonJ04},
  cites = {0},
  citedby = {0},
  pages = {85-109},
  booktitle = {Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
  editor = {Dexter Kozen and Carron Shankland},
  volume = {3125},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22380-0},
}

@article{JanssonJ98,
  title = {Polytypic Unification},
  author = {Patrik Jansson and Johan  Jeuring},
  year = {1998},
  tags = {polytypic},
  researchr = {https://researchr.org/publication/JanssonJ98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {8},
  number = {5},
  pages = {527-536},
}

@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},
}

@inproceedings{JanssonJ97,
  title = {Polyp - A Polytypic Programming Language},
  author = {Patrik Jansson and Johan  Jeuring},
  year = {1997},
  doi = {10.1145/263699.263763},
  url = {http://doi.acm.org/10.1145/263699.263763},
  tags = {programming languages, polytypic programming, programming, polytypic},
  researchr = {https://researchr.org/publication/JanssonJ97},
  cites = {0},
  citedby = {0},
  pages = {470-482},
  booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}

@inproceedings{RodriguezJJGKO08,
  title = {Comparing libraries for generic programming in haskell},
  author = {Alexey Rodriguez and Johan  Jeuring and Patrik Jansson and Alex Gerdes and Oleg Kiselyov and Bruno C. d. S. Oliveira},
  year = {2008},
  doi = {10.1145/1411286.1411301},
  url = {http://doi.acm.org/10.1145/1411286.1411301},
  tags = {laziness, programming languages, generic programming, functional programming, testing, Haskell, C++, programming, systematic-approach},
  researchr = {https://researchr.org/publication/RodriguezJJGKO08},
  cites = {0},
  citedby = {0},
  pages = {111-122},
  booktitle = {Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008},
  editor = {Andy Gill},
  publisher = {ACM},
  isbn = {978-1-60558-064-7},
}

@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},
}

@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{LinckeJZI09,
  title = {Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell},
  author = {Daniel Lincke and Patrik Jansson and Marcin Zalewski and Cezar Ionescu},
  year = {2009},
  doi = {10.1007/978-3-642-03034-5_12},
  url = {http://dx.doi.org/10.1007/978-3-642-03034-5_12},
  tags = {programming languages, object-oriented programming, rule-based, generic programming, software components, embedded software, design research, software component, language design, Haskell, type system, C++, DSL, programming, context-aware, design, feature-oriented programming, domain-specific language},
  researchr = {https://researchr.org/publication/LinckeJZI09},
  cites = {0},
  citedby = {0},
  pages = {236-261},
  booktitle = {Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings},
  editor = {Walid Mohamed Taha},
  volume = {5658},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03033-8},
}

@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{DanielssonHJG06,
  title = {Fast and loose reasoning is morally correct},
  author = {Nils Anders Danielsson and John Hughes and Patrik Jansson and Jeremy Gibbons},
  year = {2006},
  doi = {10.1145/1111037.1111056},
  url = {http://doi.acm.org/10.1145/1111037.1111056},
  tags = {programming languages, semantics, functional programming, domain-specific language},
  researchr = {https://researchr.org/publication/DanielssonHJG06},
  cites = {0},
  citedby = {0},
  pages = {206-217},
  booktitle = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006},
  editor = {J. Gregory Morrisett and Simon L. Peyton Jones},
  publisher = {ACM},
  isbn = {1-59593-027-2},
}

@inproceedings{BackhouseJJM98,
  title = {Generic Programming: An Introduction},
  author = {Roland Carl Backhouse and Patrik Jansson and Johan  Jeuring and Lambert G. L. T. Meertens},
  year = {1998},
  tags = {generic programming, programming},
  researchr = {https://researchr.org/publication/BackhouseJJM98},
  cites = {0},
  citedby = {0},
  pages = {28-115},
  booktitle = {Advanced Functional Programming},
}