A Brown-Palsberg self-interpreter for Gödel’s System T http://math.andrej.com/2016/01/04/a-brown-palsberg-self-interpreter-for-godels-system-t/ 面白い。 全域的な言語では自己インタプリタは書けないと思われていた(僕もそう思ってた)が、 BrownとPalsbergがある種の自己インタプリタを書けることを示して、 でもその条件の穴を突くともっと単純なものが書けてしまうというような話。

元になったPOPL2016の以下の論文は読んでないのだけど、これも面白そう。
Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega
Matt Brown and Jens Palsberg
http://compilers.cs.ucla.edu/popl16/

ちなみに、POPL2016の論文の著者版などはここに。
https://github.com/gasche/popl2016-papers