Joey Eremondi
Joey Eremondi
Verified email at cs.ubc.ca - Homepage
Title
Cited by
Cited by
Year
Deletion operations on deterministic families of automata
J Eremondi, OH Ibarra, I McQuillan
Information and Computation 256, 237-252, 2017
82017
Approximate normalization for gradual dependent types
J Eremondi, … Tanter, R Garcia
Proc. ACM Program. Lang. 3 (ICFP), 88:1--88:30, 2019
72019
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
72016
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
7*2015
On the complexity and decidability of some problems involving shuffle
J Eremondi, OH Ibarra, I McQuillan
Information and Computation 259, 214-224, 2018
42018
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
32018
A framework for improving error messages in dependently-typed languages
J Eremondi, W Swierstra, J Hage
Open Computer Science 9 (1), 1-32, 2019
22019
Improving error messages for dependent types with constraint-based unification
JS Eremondi
22016
Set Constraints, Pattern Match Analysis, and SMT
J Eremondi
Trends in Functional Programming 2019, 121-141, 2020
12020
Approximate Normalization and Eager Equality Checking for Gradual Inductive Families
J Eremondi, R Garcia, … Tanter
arXiv preprint arXiv:2107.04859, 2021
2021
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
Improving Error Messages for Dependent Types
J Eremondi, W Swierstra, J Hage
Polyvariant Pattern Match Analysis with Implication Constraints
J Eremondi
The system can't perform the operation now. Try again later.
Articles 1–13