3 ms·
Type Systems as Macros http://www.ccs.neu.edu/home/stchang/popl2017/ http://www.ccs.neu.edu/home/stchang/popl2017/ It's not world-changing or even particularl
by nonsince 9y ago
Type Systems as Macros
http://www.ccs.neu.edu/home/stchang/popl2017/ http://www.ccs.neu.edu/home/stchang/popl2017/
It's not world-changing or even particularly novel, but it's such a simple concept explained very well that really changes how you see the typed/dynamic language divide, as well as language design in general.