@inproceedings(MiniAgda,
 author       = "Andreas Abel",
 year         = "2010",
 title        = "{MiniAgda}: Integrating Sized and Dependent Types",
 editor       = "Ana Bove and Ekaterina Komendantskaya and Milad Niqui",
 booktitle    = "Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers",
 series       = "EPTCS 43",
 doi          = "10.4204/EPTCS.43.2",
)
@misc(indexedcontainers,
 author       = "Thorsten Altenkirch and Neil Ghani and Peter Hancock and Conor McBride and Peter Morris",
 title        = "Indexed Containers",
 note         = "Unpublished manuscript, available at \url {http://strictlypositive.org/indexed-containers.pdf}",
)
@incollection(nested,
 author       = "Richard Bird and Lambert Meertens",
 year         = "1998",
 title        = "Nested datatypes",
 editor       = "Johan Jeuring",
 booktitle    = "Mathematics of Program Construction",
 series       = "LNCS",
 volume       = "1422",
 publisher    = "Springer",
 pages        = "52--67",
 doi          = "10.1007/BFb0054285",
)
@misc(IG,
 author       = "Manuel M. T. Chakravarty and Gabriel C. Ditu and Roman Leshchinskiy",
 year         = "2009",
 title        = "Instant Generics: Fast and Easy",
 note         = "Available at \url {http://www.cse.unsw.edu.au/~chak/papers/CDL09.html}",
)
@inproceedings(levitation,
 author       = "James Chapman and Pierre-\'{E}variste Dagand and Conor McBride and Peter Morris",
 year         = "2010",
 title        = "The gentle art of levitation",
 booktitle    = "Proceedings of the ACM SIGPLAN International Conference on Functional Programming",
 series       = "ICFP '10",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "3--14",
 doi          = "10.1145/1863543.1863547",
)
@inproceedings(LIGD,
 author       = "James Cheney and Ralf Hinze",
 year         = "2002",
 title        = "A lightweight implementation of generics and dynamics",
 booktitle    = "Proceedings of the ACM SIGPLAN Workshop on Haskell",
 series       = "Haskell '02",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "90--104",
 doi          = "10.1145/581690.581698",
)
@incollection(subtyping,
 author       = "Nils Anders Danielsson and Thorsten Altenkirch",
 year         = "2010",
 title        = "Subtyping, Declaratively",
 editor       = "Claude Bolduc and Jules Desharnais and B\'echir Ktari",
 booktitle    = "Mathematics of Program Construction",
 series       = "LNCS",
 volume       = "6120",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "100--118",
 doi          = "10.1007/978-3-642-13321-3\_8",
)
@inproceedings(Gibbons2007:Datatype,
 author       = "Jeremy Gibbons",
 year         = "2007",
 title        = "Datatype-Generic Programming",
 booktitle    = "Spring School on Datatype-Generic Programming",
 series       = "{LNCS}",
 volume       = "4719",
 publisher    = "Springer",
 pages        = "1--71",
 doi          = "10.1007/978-3-540-76786-2\_1",
)
@article(GM,
 author       = "Ralf Hinze",
 year         = "2006",
 title        = "Generics for the Masses",
 journal      = "Journal of Functional Programming",
 volume       = "16",
 number       = "4-5",
 pages        = "451--483",
 doi          = "10.1017/S0956796806006022",
)
@incollection(HinzeJeuringLoh:2007,
 author       = "Ralf Hinze and Johan Jeuring and Andres L\"oh",
 year         = "2007",
 title        = "Comparing Approches to Generic Programming in {H}askell",
 booktitle    = "Datatype-Generic Programming",
 series       = "{LNCS}",
 volume       = "4719",
 publisher    = "{Springer}",
 pages        = "72--149",
 doi          = "10.1007/978-3-540-76786-2\_2",
)
@article(GP3D,
 author       = "Ralf Hinze and Andres L\"{o}h",
 year         = "2009",
 title        = "Generic programming in {3D}",
 journal      = "Science of Computer Programming",
 volume       = "74",
 pages        = "590--628",
 doi          = "10.1016/j.scico.2007.10.006",
)
@inproceedings(SYBreloaded,
 author       = "Ralf Hinze and Andres L{\"o}h and Bruno C. d. S. Oliveira",
 year         = "2006",
 title        = "``{Scrap Your Boilerplate}'' Reloaded",
 booktitle    = "Functional and Logic Programming",
 series       = "{LNCS}",
 volume       = "3945",
 publisher    = "{Springer}",
 pages        = "13--29",
 doi          = "10.1007/11737414\_3",
)
@inproceedings(GenericViews,
 author       = "Stefan Holdermans and Johan Jeuring and Andres L{\"o}h and Alexey Rodriguez Yakushev",
 year         = "2006",
 title        = "Generic Views on Data Types",
 booktitle    = "Mathematics of Program Construction",
 series       = "LNCS",
 volume       = "4014",
 pages        = "209--234",
 doi          = "10.1007/11783596\_14",
)
@inproceedings(polyp,
 author       = "Patrik Jansson and Johan Jeuring",
 year         = "1997",
 title        = "Poly{P}---a polytypic programming language extension",
 booktitle    = "Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
 series       = "{POPL} '97",
 publisher    = "ACM",
 pages        = "470--482",
 doi          = "10.1145/263699.263763",
)
@phdthesis(exploringGH,
 author       = "Andres L\"oh",
 year         = "2004",
 title        = "Exploring Generic Haskell",
 school       = "Utrecht University",
)
@inproceedings(jpm:gpif:11,
 author       = "Andres L\"{o}h and Jos{\'e} Pedro Magalh\~{a}es",
 year         = "2011",
 title        = "Generic programming with indexed functors",
 booktitle    = "Proceedings of the ACM SIGPLAN Workshop on Generic Programming",
 series       = "WGP '11",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "1--12",
 doi          = "10.1145/2036918.2036920",
)
@inproceedings(jpm:gdmh:10,
 author       = "Jos\'e Pedro Magalh\~aes and Atze Dijkstra and Johan Jeuring and Andres L\"{o}h",
 year         = "2010",
 title        = "A generic deriving mechanism for {Haskell}",
 booktitle    = "Proceedings of the ACM Symposium on Haskell",
 series       = "Haskell '10",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "37--48",
 doi          = "10.1145/1863523.1863529",
)
@inproceedings(jpm:ogie:10,
 author       = "Jos\'e Pedro Magalh\~aes and Stefan Holdermans and Johan Jeuring and Andres L\"{o}h",
 year         = "2010",
 title        = "Optimizing Generics Is Easy!",
 booktitle    = "Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation",
 series       = "PEPM'10",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "33--42",
 doi          = "10.1145/1706356.1706366",
)
@inproceedings(bananas,
 author       = "Erik {Meijer} and Maarten {Fokkinga} and Ross {Paterson}",
 year         = "1991",
 title        = "Functional programming with bananas, lenses, envelopes and barbed wire",
 editor       = "J. {Hughes}",
 booktitle    = "Functional Programming Languages and Computer Architecture",
 series       = "LNCS",
 volume       = "523",
 publisher    = "Springer-Verlag",
 pages        = "124--144",
 doi          = "10.1007/3540543961\_7",
)
@article(AoPA,
 author       = "Shin-Cheng Mu and Hsiang-Shang Ko and Patrik Jansson",
 year         = "2009",
 title        = "Algebra of programming in {Agda}: Dependent types for relational program derivation",
 journal      = "Journal of Functional Programming",
 volume       = "19",
 pages        = "545--579",
 doi          = "10.1017/S0956796809007345",
)
@article(jpm:ladgr:10,
 author       = "Thomas van Noort and Alexey Rodriguez Yakushev and Stefan Holdermans and Johan Jeuring and Bastiaan Heeren and Jos\'e Pedro Magalh\~aes",
 year         = "2010",
 title        = "A lightweight approach to datatype-generic rewriting",
 journal      = "Journal of Functional Programming",
 volume       = "20",
 number       = "Special Issue 3-4",
 pages        = "375--413",
 doi          = "10.1017/S0956796810000183",
)
@inproceedings(1411321,
 author       = "Thomas {}{van Noort} and Alexey Rodriguez Yakushev and Stefan Holdermans and Johan Jeuring and Bastiaan Heeren",
 year         = "2008",
 title        = "A lightweight approach to datatype-generic rewriting",
 booktitle    = "Proceedings of the ACM SIGPLAN Workshop on Generic Programming",
 series       = "WGP '08",
 publisher    = "ACM",
 pages        = "13--24",
 doi          = "10.1145/1411318.1411321",
)
@inproceedings(norell2009dependently,
 author       = "Ulf Norell",
 year         = "2009",
 title        = "{Dependently typed programming in Agda}",
 editor       = "Pieter Koopman and Rinus Plasmeijer and Doaitse Swierstra",
 booktitle    = "Advanced Functional Programming, 6th International School, AFP 2008, Revised Lectures",
 series       = "LNCS",
 volume       = "5832",
 publisher    = "Springer",
 pages        = "230--266",
 doi          = "10.1007/978-3-642-04652-0\_5",
)
@book(haskellbook,
 editor       = "Simon Peyton Jones",
 year         = "2003",
 title        = "Haskell 98, Language and Libraries. The Revised Report",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/S0956796803000315",
 note         = "Journal of Functional Programming Special Issue 13(1)",
)
@inproceedings(multirec,
 author       = "Alexey Rodriguez Yakushev and Stefan Holdermans and Andres L\"{o}h and Johan Jeuring",
 year         = "2009",
 title        = "Generic programming with fixed points for mutually recursive datatypes",
 booktitle    = "Proceedings of the ACM SIGPLAN International Conference on Functional Programming",
 series       = "ICFP '09",
 publisher    = "ACM",
 pages        = "233--244",
 doi          = "10.1145/1596550.1596585",
)
@inproceedings(UUCS2008010,
 author       = "Alexey Rodriguez Yakushev and Johan Jeuring and Patrik Jansson and Alex Gerdes and Oleg Kiselyov and Bruno C.d.S. Oliveira",
 year         = "2008",
 title        = "Comparing libraries for generic programming in {H}askell",
 booktitle    = "Proceedings of the ACM SIGPLAN Symposium on Haskell",
 series       = "Haskell'08",
 publisher    = "ACM",
 pages        = "111--122",
 doi          = "10.1145/1411286.1411301",
)
@article(formalGH,
 author       = "Wendy Verbruggen and Edsko De Vries and Arthur Hughes",
 year         = "2010",
 title        = "Formal polytypic programs and proofs",
 journal      = "Journal of Functional Programming",
 volume       = "20",
 number       = "Special Issue 3-4",
 pages        = "213--270",
 doi          = "10.1017/S0956796810000158",
)
@article(OutsideIn,
 author       = "Dimitrios Vytiniotis and Simon Peyton Jones and Tom Schrijvers and Martin Sulzmann",
 year         = "2011",
 title        = "OutsideIn(X)---Modular type inference with local assumptions",
 journal      = "Journal of Functional Programming",
 volume       = "21",
 number       = "Special Issue 4-5",
 pages        = "333--412",
 doi          = "10.1017/S0956796811000098",
)
@inproceedings(arity,
 author       = "Stephanie Weirich and Chris Casinghino",
 year         = "2010",
 title        = "Arity-generic datatype-generic programming",
 booktitle    = "Proceedings of the ACM SIGPLAN Workshop on Programming Languages meets Program Verification",
 series       = "PLPV~'10",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "15--26",
 doi          = "10.1145/1707790.1707799",
)
@inproceedings(jpm:ghp:12,
 author       = "Brent A. Yorgey and Stephanie Weirich and Julien Cretin and Simon Peyton Jones and Dimitrios Vytiniotis and Jos\'e Pedro Magalh\~aes",
 year         = "2012",
 title        = "Giving {Haskell} a Promotion",
 booktitle    = "Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation",
 series       = "TLDI '12",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "53--66",
 doi          = "10.1145/2103786.2103795",
)