- Breaking through the Normalization Barrier: a self-interpreter for F-omega [PDF] http://compilers.cs.ucla.edu/popl16/popl16-full.pdf 3 comments compsci
Lambda the Ultimate
- Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega http://compilers.cs.ucla.edu/popl16/popl16-full.pdf 24 comments Functional , Theory , Type Theory