Éric Tanter, Nicolas Tabareau. Gradual certified programming in coq. In Manuel Serrano, editor, Proceedings of the 11th Symposium on Dynamic Languages, DLS 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015. pages 26-40, ACM, 2015. [doi]
Abstract is missing.