Programming Languages

Typed Self-Representation

by Till­mann Ren­del, Klaus Os­ter­mann, and Chris­t­ian Hofer

In Proc. Conf. Pro­gram­ming Lan­guage De­sign and Im­ple­men­ta­tion (PLDI), 2009.