@article{ICFP-2018-BreitnerSLRWW,
	author        = "Joachim Breitner and Antal Spector-Zabusky and Yao Li 0004 and Christine Rizkallah and John Wiegley and Stephanie Weirich",
	doi           = "10.1145/3236784",
	journal       = "{Proceedings of the ACM on Programming Languages}",
	number        = "ICFP",
	pages         = "16",
	title         = "{Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)}",
	volume        = 2,
	year          = 2018,
}