@article{carette-2009-finally, title={Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages}, volume={19}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s0956796809007205}, DOI={10.1017/s0956796809007205}, number={5}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={CARETTE, JACQUES and KISELYOV, OLEG and SHAN, CHUNG-CHIEH}, year={2009}, month=Apr, pages={509–543} }