Tagless Staged Interpreters for Typed Languages (2002)

by Emir Pasalic, Walid Taha, Tim Sheard
Venue:In the International Conference on Functional Programming (ICFP ’02