finally tagless , partially evaluated : tagless staged interpreters for simpler typed languages .
Tagless staged interpreters for typed languages