| Approximate normalization for gradual dependent types J Eremondi, É Tanter, R Garcia Proc. ACM Program. Lang. 3 (ICFP), 88:1--88:30, 2019 | 20 | 2019 |
| Deletion operations on deterministic families of automata J Eremondi, OH Ibarra, I McQuillan Information and Computation 256, 237-252, 2017 | 11 | 2017 |
| Insertion Operations on Deterministic Reversal-Bounded Counter Machines J Eremondi, I McQuillan, OH Ibarra 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 8977 …, 2015 | 9* | 2015 |
| The ASPECTA toolkit: affordable full coverage displays J Petford, MA Nacenta, C Gutwin, J Eremondi, C Ede Proceedings of the 5th ACM International Symposium on Pervasive Displays, 87-105, 2016 | 7 | 2016 |
| On the complexity and decidability of some problems involving shuffle J Eremondi, OH Ibarra, I McQuillan Information and Computation 259, 214-224, 2018 | 5 | 2018 |
| On the density of context-free and counter languages J Eremondi, OH Ibarra, I McQuillan International Journal of Foundations of Computer Science 29 (02), 233-250, 2018 | 5 | 2018 |
| Propositional equality for gradual dependently typed programming J Eremondi, R Garcia, É Tanter Proceedings of the ACM in Programming Languages 6 (ICFP), 165-193, 2022 | 4 | 2022 |
| Set Constraints, Pattern Match Analysis, and SMT J Eremondi Trends in Functional Programming 2019, 121-141, 2020 | 2 | 2020 |
| A framework for improving error messages in dependently-typed languages J Eremondi, W Swierstra, J Hage Open Computer Science 9 (1), 1-32, 2019 | 2 | 2019 |
| Improving error messages for dependent types with constraint-based unification JS Eremondi | 2 | 2016 |
| On the design of a gradual dependently typed language for programming JS Eremondi University of British Columbia, 2023 | | 2023 |
| Approximate Normalization and Eager Equality Checking for Gradual Inductive Families J Eremondi, R Garcia, É Tanter arXiv preprint arXiv:2107.04859, 2021 | | 2021 |
| Improving Error Messages for Dependent Types J Eremondi, W Swierstra, J Hage International Conference on Functional Programming 2018, 2018 | | 2018 |
| The poor man's proof assistant: using prolog to develop formal language theoretic proofs J Eremondi Proceedings of the 2013 companion publication for conference on Systems …, 2013 | | 2013 |
| Polyvariant Pattern Match Analysis with Implication Constraints J Eremondi | | |
Éric TanterProfessor of Computer Science, University of ChileVerified email at dcc.uchile.cl
