1 Proust: A Nano Proof Assistant - Prabhakar Ragde (arxiv.org) 2 points by soegaard 265 days ago
2 [paper] 'Sham: A DSL for Fast DSLs' by Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt [pdf] (arxiv.org) 2 points by spdegabrielle 44 days ago