Generic Programming for Domain Reasoners

Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren. Generic Programming for Domain Reasoners. In Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter W. M. Koopman, editors, Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, June 2-4, 2009. Volume 10 of Trends in Functional Programming, pages 113-128, Intellect, 2009.

@inproceedings{JeuringMH09,
  title = {Generic Programming for Domain Reasoners},
  author = {Johan  Jeuring and José Pedro Magalhães and Bastiaan Heeren},
  year = {2009},
  researchr = {https://researchr.org/publication/JeuringMH09},
  cites = {0},
  citedby = {0},
  pages = {113-128},
  booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, June 2-4, 2009},
  editor = {Zoltán Horváth and Viktória Zsók and Peter Achten and Pieter W. M. Koopman},
  volume = {10},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {978-1-84150-405-6},
}