Partial type equivalences for verified dependent interoperability.

Pierre-variste Dagand, Nicolas Tabareau, ric Tanter

Browse the full ICFP paper archive.