Typed self-representation.

Tillmann Rendel, Klaus Ostermann, Christian Hofer

Browse the full PLDI paper archive.