Tagless staged interpreters for typed languages (2002)

by E Pašalić, W Taha, T Sheard
Venue:In Proceedings of ICFP