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

by Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
Venue:J. Funct. Program