Turnstile+: Dependent Type Systems as Macros - discu.eu

Lambda the Ultimate

Turnstile+: Dependent Type Systems as Macros https://www.ccs.neu.edu/home/stchang/pubs/cbtb-popl2020.pdf 74 comments 14/2/2020 Meta-Programming

Linking pages

An epic treatise on error models for systems programming languages https://typesanitizer.com/blog/errors.html 115 comments

Related searches:

Search whole site: site:www.ccs.neu.edu

Search title: Turnstile+: Dependent Type Systems as Macros

See how to search.

Submit link to: