Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code.

Jacques Carette, Oleg Kiselyov

Browse the full GPCE paper archive.