Breaking through the Normalization Barrier: a self-interpreter for F-omega [PDF] - discu.eu

Reddit

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

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 10/11/2015 Functional , Theory , Type Theory

Linking pages

GitHub - gasche/popl2016-papers: Links to publicly available preprints for the POPL'16 conference https://github.com/gasche/popl2016-papers 12 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:compilers.cs.ucla.edu

Search title: Breaking through the Normalization Barrier: a self-interpreter for F-omega [PDF]

See how to search.

Submit link to: