"Multi-stage Programming with Functors and Monads: Eliminating Abstraction ..."

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