Hacker News
- Dependent Type Systems as Macros [pdf] https://www.williamjbowman.com/resources/wjb2019-depmacros.pdf 7 comments
- Type Systems as Macros http://lambda-the-ultimate.org/node/5426 16 comments
Lobsters
- Dependent type systems as macros https://dl.acm.org/doi/pdf/10.1145/3371071 7 comments programming
- Dependent type systems as macros https://dl.acm.org/doi/10.1145/3371071 2 comments racket
- Type Systems as Macros http://www.ccs.neu.edu/home/stchang/popl2017/ 4 comments haskell
Lambda the Ultimate
- Type Systems as Macros http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf 15 comments DSL , Functional , Lambda Calculus , Meta-Programming , Type Theory
- Turnstile+: Dependent Type Systems as Macros https://www.ccs.neu.edu/home/stchang/pubs/cbtb-popl2020.pdf 74 comments Meta-Programming