@inproceedings{Haskell-2005-AbelBBHN,
	author        = "Andreas Abel 0001 and Marcin Benke and Ana Bove and John Hughes and Ulf Norell",
	booktitle     = "{Proceedings of the Ninth Haskell Workshop}",
	doi           = "10.1145/1088348.1088355",
	isbn          = "1-59593-071-X",
	pages         = "62--73",
	publisher     = "{ACM}",
	title         = "{Verifying haskell programs using constructive type theory}",
	year          = 2005,
}