Compositional computational reflection (2014)

by Gregory Malecha, Adam Chlipala, Thomas Braibant