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

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

3 Macro Stepper tutorial (www.ccs.neu.edu) 2 points by spdegabrielle 1 day ago