Eberhard Karls Universität Tübingen

Mathematisch-Naturwissenschaftliche FakultätProgramming Languages and Software Technology

Typed Self-Representation

Author's version
pldi142_rendel1.pdf

by Tillmann Rendel, Klaus Ostermann, and Christian Hofer

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