@inproceedings{HHS:constraint,
  author    = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  title     = {Constraint based type inferencing in {H}elium},
  month     = {September},
  year      = {2003},
  editor    = {M.-C.~Silaghi and M.~Zanker},
  pages     = {59 -- 80},
  booktitle = {Workshop Proceedings of Immediate Applications of Constraint Programming},
  address   = {Cork},
  pubcat    = {workshop},
  notes     = {Based on \cite{heeren2002parametric} and \cite{heeren2002generalizing}},
}