Compilers as staged monadic interpreters," Oregon Graduate Institute (1997)

by Z Benaissa, T Sheard, W Taha