Tagless staged interpreters for typed languages (2002)

by Emir Pa˘salić, Walid Taha, Tim Sheard
Venue:SIGPLAN notices