Typed Self-Representation
by Tillmann Rendel, Klaus Ostermann, and Christian Hofer
In Proc. Conf. Programming Language Design and Implementation (PLDI), 2009.
by Tillmann Rendel, Klaus Ostermann, and Christian Hofer
In Proc. Conf. Programming Language Design and Implementation (PLDI), 2009.