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

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