1 Macro Stepper tutorial (www.ccs.neu.edu) 4 points by spdegabrielle 6 days ago

2 Typing the Numeric Tower [pdf] by Vincent St-Amour (www.ccs.neu.edu) 3 points by spdegabrielle 1869 days ago

3 Turnstile+: Dependent Type Systems as Macros [pdf] (www.ccs.neu.edu) 2 points by soegaard 2014 days ago