Programming Languages

Typed Self-Representation

by Tillmann Rendel, Klaus Ostermann, and Christian Hofer

In Proc. Conf. Programming Language Design and Implementation (PLDI), 2009.