Self-Representation in Girard’s System U - discu.eu

Lambda the Ultimate

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

Linking pages

GitHub - yallop/popl2015-papers: Accepted papers for POPL 2015 https://github.com/yallop/popl2015-papers 0 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: Self-Representation in Girard’s System U

See how to search.

Submit link to: