CRISTIAN SOTTILE; ALEJANDRO DÍAZ-CARO

Reducibility candidates modulo isomorphisms

37th Symposium on Implementation and Application of Functional Languages

Lugar: Montevideo; Año: 2025;

PABLO BARENBAUM; SIMONA RONCHI DELLA ROCCA; CRISTIAN SOTTILE

UNA MEDIDA DECRECIENTE DIRECTA PARA TIPOS INTERSECCIÓN

VI Jornadas de Investigadores en Formación CyT ? UNQ

Lugar: Bernal; Año: 2025;

CRISTIAN SOTTILE; PABLO BARENBAUM

Dos medidas decrecientes para λ-cálculo con tipado simple

ASSE ? 54 JAIIO

Lugar: Buenos Aires; Año: 2025;

CRISTIAN SOTTILE; PABLO BARENBAUM

MIDIENDO PROGRAMAS PARA DEMOSTRAR TERMINACIÓN

V Jornadas de Investigadores en Formación CyT ? UNQ

Lugar: Bernal; Año: 2023;

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;