3 ms·
Like this? https://www.google.com/url?sa=t&source=web&rct=j&url=https://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf&ved=2ahUKEwicsLid_OHxAhUwuqQKHUtxDAg
by rscho 5y ago
Like this?
https://www.google.com/url?sa=t&source=web&rct=j&url=https://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf&ved=2ahUKEwicsLid_OHxAhUwuqQKHUtxDAgQFjABegQIAxAG&usg=AOvVaw2dG6VNUS-pOHGw0ojEVXpJ&cshid=1626245610811 https://www.google.com/url?sa=t&source=web&rct=j&url=https:/...
https://www.google.com/url?sa=t&source=web&rct=j&url=https://dl.acm.org/ft_gateway.cfm%3Fid%3D3371071&ved=2ahUKEwjA4NjI_OHxAhX9hf0HHcuuA48QFnoECAUQAQ&usg=AOvVaw1ZdMLu5iXBiZ8q6P7drqEY&cshid=1626245528077 https://www.google.com/url?sa=t&source=web&rct=j&url=https:/...
- lioeters 5y agoWithout the Google middleware: Type Systems as Macros - https://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf https://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf (PDF) Stephen Chang, Michael Ballantyne, Milo Turner, and William J. Bowman. 2020. Dependent Type Systems as Macros. Proc. ACM Program. Lang. 4, POPL, Article 3 (January 2020) - https://dl.acm.org/ft_gateway.cfm?id=3371071 https://dl.acm.org/ft_gateway.cfm?id=3371071 (Redirects to download PDF) > We present Turnstile+, a high-level, macros-based metaDSL for building dependently typed languages