Recursive type generativity

Derek Dreyer. Recursive type generativity. Journal of Functional Programming, 17(4-5):433-471, 2007. [doi]

@article{Dreyer07,
  title = {Recursive type generativity},
  author = {Derek Dreyer},
  year = {2007},
  doi = {10.1017/S0956796807006429},
  url = {http://dx.doi.org/10.1017/S0956796807006429},
  researchr = {https://researchr.org/publication/Dreyer07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {17},
  number = {4-5},
  pages = {433-471},
}