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