Typed self-evaluation via intensional type functions.

Matt Brown, Jens Palsberg

Browse the full POPL paper archive.