@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 = {ESOP},
}

@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 = {afp},
}

@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 = {JFP},
  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},
}

@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 = {IFL},
}

@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 = {mpc},
}

@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 = {njc},
  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 = {IFL},
}

@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 = {mpc},
}

@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 = {mpc},
}

@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 = {JFP},
  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 = {ESOP},
}

@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 = {POPL},
}

@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 = {haskell},
}

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

@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{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 = {DSL},
}

@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{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 = {POPL},
}

@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 = {afp},
}