Agenda

Título: Inferencia de tipos sesión probabilísticos Director: Hernán Melgratti Jurados: Diego Garbervetsky, Carlos Gustavo Lopez Pombo. Resumen: Los últimos años testimonian un auge en el desarrollo de técnicas de descripción de interfaces y soporte a nivel de lenguajes de programación para el desarrollo de aplicaciones correctas por construcción. El [...]