@inproceedings{Haskell-2016-PloegCB,
	author        = "Atze van der Ploeg and Koen Claessen and Pablo Buiras",
	booktitle     = "{Proceedings of the Ninth International Symposium on Haskell}",
	doi           = "10.1145/2976002.2976008",
	isbn          = "978-1-4503-4434-0",
	pages         = "146--157",
	publisher     = "{ACM}",
	title         = "{The Key monad: type-safe unconstrained dynamic typing}",
	year          = 2016,
}