Home
Ubicación
Mapa sitio
Contacto
Foto: Archivo DCC.
2016
Reporte técnico 2016
in
2016
Eric Tanter
TR/DCC-2016-1, Nico Lehmann, Éric Tanter,
Gradual Refinement Types — Extended Version with Proofs
, November 07, 2016.
DOCENCIA
INVESTIGACIÓN
INNOVACIÓN
COMUNIDAD
ADMISIÓN
DCC
DIFUSIÓN