@inproceedings{Oliveira&Gibbons2005:TypeCase,
  title = "TypeCase: A Design Pattern for Type-Indexed Functions",
  author = "Bruno C\'esar dos Santos Oliveira and Jeremy Gibbons",
  year = "2005",
  booktitle = "Haskell Workshop",
  editor = "Daan Leijen",
  pages = "98-109",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/typecase.pdf",
}