Cristian Sottile

According to our database, Cristian Sottile authored at least 4 papers between 2019 and 2023.

Collaborative distances:

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

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