Gradual certified programming in Coq.

ric Tanter, Nicolas Tabareau

Browse the full DLS paper archive.