@incollection{Hin03Fun,
  author = "Hinze, Ralf",
  booktitle = "The Fun of Programming",
  editor = "Gibbons, Jeremy and {de Moor}, Oege",
  note = "ISBN 1-4039-0772-2 hardback, ISBN 0-333-99285-7 paperback",
  pages = "245--262",
  publisher = "Palgrave Macmillan",
  title = "Fun with phantom types",
  year = "2003",
}