• Breaking through the Normalization Barrier: a self-interpreter for F-omega [PDF] http://compilers.cs.ucla.edu/popl16/popl16-full.pdf 3 comments 5/12/2015 compsci
• Register Allocation by Puzzle Solving: a tutorial http://compilers.cs.ucla.edu/fernando/projects/puzzles/tutorial/ 3 comments 13/7/2009 programming

• Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega http://compilers.cs.ucla.edu/popl16/popl16-full.pdf 24 comments 10/11/2015 Functional , Theory , Type Theory
• Self-Representation in Girard’s System U http://compilers.cs.ucla.edu/popl15/popl15-full.pdf 28 comments 11/6/2015 Functional , Lambda Calculus , Theory , Type Theory