Publications of Matías Toro by type (see by year) [pdf]

Type A

  1. Elizabeth Labrada, Matías Toro, Éric Tanter. Gradual System F. Journal of the ACM (JACM) 69(5):38:1-38:78, Oct 2022. ACM Press, New York, NY, USA. ISSN 0004-5411. [download] [bibtex] [abstract]

  2. Matías Toro, David Darais, Chike Abuah, Joseph Near, Damián Árquez, Federico Olmedo, Éric Tanter. Contextual Linear Types for Differential Privacy. ACM Transactions on Programming Languages and Systems (TOPLAS) 45(2):8:1-8:69, 2023. ACM Press, New York, NY, USA. ISSN 0164-0925. [download] [bibtex] [abstract]

  3. Matías Toro, Federico Olmedo. A Gradual Probabilistic Lambda Calculus. Proceedings of the ACM Programming Languages (PACMPL) 7(84):256-285, Apr 2023. ACM Press, New York, NY, USA. ISSN 2475-1421. [download] [bibtex] [abstract]

  4. Matías Toro, Éric Tanter, Federico Olmedo. Gradual Differentially Private Programming. Communications of the ACM (CACM) 67(8):49-53, Aug 2024. ACM Press, New York, NY, USA. ISSN 0001-0782. [download] [bibtex]

  5. Eduardo Graells, Matías Toro, Gabriel Mansilla, Matías Nicolai, Santiago Mansilla, Jocelyn Dunstan. Reducing Urban Speed Limits Decreases Work-related Traffic Injury Severity: Evidence from Santiago, Chile. Travel Behaviour and Society (TBS) 40:article 101034, Apr 2025. Elsevier Science, Amsterdam, The Netherlands. ISSN 2214-367X. [download] [bibtex] [abstract]

Type L1

  1. Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, Éric Tanter. Elucidating Type Conversions in SQL Engines. In Proc. 34th European Symposium on Programming (ESOP), pp. 408-435, 2025. Springer Nature Switzerland AG, Cham, Switzerland. [download] [bibtex] [abstract]