@article{ICFP-2019-ChristiansenDDH,
	author        = "David Thrane Christiansen and Iavor S. Diatchki and Robert Dockins and Joe Hendrix and Tristan Ravitch",
	doi           = "10.1145/3341704",
	journal       = "{Proceedings of the ACM on Programming Languages}",
	number        = "ICFP",
	pages         = "16",
	title         = "{Dependently typed Haskell in industry (experience report)}",
	volume        = 3,
	year          = 2019,
}