@inproceedings{Haskell-2005-OliveiraG,
	author        = "Bruno C. d. S. Oliveira and Jeremy Gibbons",
	booktitle     = "{Proceedings of the Ninth Haskell Workshop}",
	doi           = "10.1145/1088348.1088358",
	isbn          = "1-59593-071-X",
	pages         = "98--109",
	publisher     = "{ACM}",
	title         = "{TypeCase: a design pattern for type-indexed functions}",
	year          = 2005,
}