@inproceedings{quickcheck
  , title       = { {QuickCheck}: A Lightweight Tool for Random Testing of {Haskell} Programs }
  , author      = { Koen Claessen and John Hughes }
  , booktitle   = { Proc.\ of International Conference on Functional Programming (ICFP) }
  , publisher   = { ACM SIGPLAN }
  , year        = { 2000 }
}

@misc{gh,
  author = "J. Jeuring",
  title = "Generic haskell: a language for generic programming",
  text = "Johan Jeuring. Generic haskell: a language for generic programming, 2001.
    Available from http://www.generic-haskell.org/.",
  year = "2001",
  url = "citeseer.ist.psu.edu/jeuring99generic.html" }

@Article{LPJ03,
  author    = "Ralf L{\"a}mmel and Simon {Peyton Jones}",
  title     = "Scrap your boilerplate: a practical design pattern for generic programming",
  journal   = "ACM SIG{\-}PLAN Notices",
  publisher = "ACM Press",
  volume    = "38",
  number    = "3",
  pages     = "26--37",
  month     = mar,
  year      = "2003",
  note      = "Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI~2003)"
}