"Multi-stage programming with functors and monads: Eliminating abstraction ..."

Jacques Carette, Oleg Kiselyov (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics