Cristian Sottile

According to our database, Cristian Sottile authored at least 6 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

A formalization of System I with type Top in Agda.

Agustín Séttimo, Cristian Sottile, Cecilia Manzino

CoRR, March, 2026

2025

Strong normalization through idempotent intersection types: a new syntactical approach.

Pablo Barenbaum, Simona Ronchi Della Rocca, Cristian Sottile

Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, March, 2025

2023

Two Decreasing Measures for Simply Typed Lambda-Terms (Extended Version).

Pablo Barenbaum, Cristian Sottile

CoRR, 2023

Two Decreasing Measures for Simply Typed λ-Terms.

Pablo Barenbaum, Cristian Sottile

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2020

Polymorphic System I.

Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2019

An End-User Semantic Web Augmentation Tool.

Cristian Sottile, Sergio Firmenich, Diego Torres

Proceedings of the End-User Development - 7th International Symposium, 2019