Compositional Computational Reflection.

Gregory Malecha, Adam Chlipala, Thomas Braibant

Browse the full ITP paper archive.