March 23, 2017

Ben’s paper with collaborators at MIT and CMU on proof assistants as the ultimate DSL implementation engine accepted to SNAPL 2017.