@inproceedings{Haskell-2005-Sheard,
	author        = "Tim Sheard",
	booktitle     = "{Proceedings of the Ninth Haskell Workshop}",
	doi           = "10.1145/1088348.1088356",
	isbn          = "1-59593-071-X",
	pages         = "74--85",
	publisher     = "{ACM}",
	title         = "{Putting curry-howard to work}",
	year          = 2005,
}