Reporte técnico 2017

TR/DCC-2017-1, Matías Toro and Éric Tanter, Gradual Union Types - Complete Definition and Proofs, June 19, 2017.