Our paper Compositional Computational Reflection, Gregory Malecha, Adam Chlipala and Thomas Braibant has been accepted for publication at ITP 2014. Draft avalaible here. See you at FLOC, folks.