Joseph Eremondi
Joseph Eremondi
Other namesJoey Eremondi, <a rel="me" href=""></a>
Royal Society Newton International Fellow, University of Edinburgh
Verified email at - Homepage
Cited by
Cited by
Approximate normalization for gradual dependent types
J Eremondi, … Tanter, R Garcia
Proc. ACM Program. Lang. 3 (ICFP), 88:1--88:30, 2019
Deletion operations on deterministic families of automata
J Eremondi, OH Ibarra, I McQuillan
Information and Computation 256, 237-252, 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
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
On the complexity and decidability of some problems involving shuffle
J Eremondi, OH Ibarra, I McQuillan
Information and Computation 259, 214-224, 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
Propositional equality for gradual dependently typed programming
J Eremondi, R Garcia, … Tanter
Proceedings of the ACM in Programming Languages 6 (ICFP), 165-193, 2022
Set Constraints, Pattern Match Analysis, and SMT
J Eremondi
Trends in Functional Programming 2019, 121-141, 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
Improving error messages for dependent types with constraint-based unification
JS Eremondi
On the design of a gradual dependently typed language for programming
JS Eremondi
University of British Columbia, 2023
Approximate Normalization and Eager Equality Checking for Gradual Inductive Families
J Eremondi, R Garcia, … Tanter
arXiv preprint arXiv:2107.04859, 2021
Improving Error Messages for Dependent Types
J Eremondi, W Swierstra, J Hage
International Conference on Functional Programming 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
Polyvariant Pattern Match Analysis with Implication Constraints
J Eremondi
The system can't perform the operation now. Try again later.
Articles 1–15