CRISTIAN F. SOTTILE

Cocientando programas por utilidad

4to Día de la Investigación en Ciencias de la Computación

Lugar: Buenos Aires; Año: 2022;

CRISTIAN F. SOTTILE

Equating polymorphic programs with the same potential utility

MGS 21 Participants' Talks

Lugar: Sheffield; Año: 2021;

CRISTIAN F. SOTTILE

Internalización de tipos isomorfos en lenguajes de programación

Charlas de estudiantes de Programación Funcional Avanzada

Lugar: Montevideo; Año: 2021;

CRISTIAN F. SOTTILE

IGUALANDO PROGRAMAS POLIMÓRFICOS QUE TIENEN LA MISMA UTILIDAD FINAL

IV JORNADAS DE INVESTIGADORES EN FORMACIÓN EN CIENCIA Y TECNOLOGÍA

Lugar: Bernal; Año: 2021;

CRISTIAN F. SOTTILE

HACIA UNA IMPLEMENTACIÓN PRÁCTICA DE LENGUAJES DE PROGRAMACIÓN IGUALANDO TIPOS ISOMORFOS

IV JORNADAS DE INVESTIGADORES EN FORMACIÓN EN CIENCIA Y TECNOLOGÍA

Lugar: Bernal; Año: 2021;

CRISTIAN F. SOTTILE

Agregando polimorfismo a una lógica que identifica proposiciones isomorfas

XIV Concurso de Trabajos Estudiantiles (EST 2021) - JAIIO 50

Lugar: Modalidad Virtual; Año: 2021;

CRISTIAN F. SOTTILE; ALEJANDRO DÍAZ-CARO; PABLO E. MARTÍNEZ LÓPEZ

Hacia un sistema I polimórfico

XXV Congreso Argentino de Ciencias de la Computación. CACIC 2019

Lugar: Río Cuarto; Año: 2019;