@article{GPCE-J-2005-CaretteK11,
	author        = "Jacques Carette and Oleg Kiselyov",
	doi           = "10.1016/j.scico.2008.09.008",
	journal       = "{Science of Computer Programming}",
	number        = 5,
	pages         = "349--375",
	title         = "{Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code}",
	volume        = 76,
	year          = 2011,
}