Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. (2009)

by J Carette, O Kiselyov, C-c Shan
Venue:Journal of Functional Programming,