logo DCClogo FCFM
 
 
 

 

  • Home
  • Ubicación
  • Mapa sitio
  • Contacto
Imagen cabecera
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.
Syndicate content
  • DOCENCIA
  • INVESTIGACIÓN
  • INNOVACIÓN
  • COMUNIDAD
  • ADMISIÓN
  • DCC
  • DIFUSIÓN

.................................................................................................................................................................................................................................

Avenida Beauchef 851, Tercer Piso, Santiago, Chile / C.P. 837-0456