8 ms·
Type Systems as Macros: https://www.khoury.northeastern.edu/home/stchang/pubs/ckg-popl2017.pdf https://www.khoury.northeastern.edu/home/stchang/pubs/ckg-po...
by naasking 3y ago
Type Systems as Macros:
https://www.khoury.northeastern.edu/home/stchang/pubs/ckg-popl2017.pdf https://www.khoury.northeastern.edu/home/stchang/pubs/ckg-po...