1 Typing the Numeric Tower [pdf] by Vincent St-Amour (www.ccs.neu.edu) 3 points by spdegabrielle 1332 days ago
2 Turnstile+: Dependent Type Systems as Macros [pdf] (www.ccs.neu.edu) 2 points by soegaard 1477 days ago