@INPROCEEDINGS{ariemtfp08,
  author    = {Middelkoop, A. and Dijkstra, A. and Swierstra, S. D.},
  title     = {A Leaner Specification for Generalized Algebraic Data Types},
  booktitle = {Proceedings of The Ninth Symposium on Trends in Functional Programming},
  editor    = {Achten, P. and Koopman, P. and Moraz{\'{a}}n, M. T.},
  pages     = {65--81},
  year      = {2008},

  class     = {Wet},
  volume    = {},
  series    = {9},
  isbn      = {}
}


@inproceedings{hage07generic,
  author      = "Hage, Jurriaan and Holdermans, Stefan and Middelkoop, Arie",
  title       = "A generic usage analysis with subeffect qualifiers",  
  editor      = "Hinze, Ralf and Ramsey, Norman",
  booktitle   = "Proceedings of the 12th ACM SIGPLAN International Conference
                 on Functional Programming, ICFP 2007, Freiburg, Germany,
                 October 1--3, 2007",
  pages       = "235--246",
  publisher   = "ACM Press",
  year        = 2007
}


@inproceedings{dolstra08report,
  author      = "Dolstra, Eelco and Hage, Jurriaan and Heeren, Bastiaan and
                 Holdermans, Stefan and Jeuring, Johan and L{\"o}h, Andres and
                 L{\"o}h, Clara and Middelkoop, Arie and Rodriguez, Alexey and
                 Schie, John van",
  title       = "Report on the tenth {ICFP} programming contest",
  editor      = "Hook, James and Thiemann, Peter",
  booktitle   = "Proceedings of the 13th ACM SIGPLAN International Conference
                 on Functional Programming, ICFP 2008, September 22--24, 2008",
  pages       = "397--408",
  publisher   = "ACM Press",
  year        = 2008
}