Joseph Eremondi

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 11

Top Topics

Gaze Contingent

Strips Planning

Tree Structures

Top Venues

Proc. ACM Program. Lang.

Publications

Joseph Eremondi
Strictly Monotone Brouwer Trees for Well Founded Recursion over Multiple Arguments. CPP (2024)
Joseph Eremondi
Strictly Monotone Brouwer Trees for Well-founded Recursion Over Multiple Arguments. CoRR (2023)
Joseph Eremondi, Ronald Garcia, Éric Tanter
Propositional equality for gradual dependently typed programming. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Joseph Eremondi, Ronald Garcia, Éric Tanter
Propositional Equality for Gradual Dependently Typed Programming. CoRR (2022)
Joseph Eremondi, Ronald Garcia, Éric Tanter
Approximate Normalization and Eager Equality Checking for Gradual Inductive Families. CoRR (2021)
Joseph Eremondi
Set Constraints, Pattern Match Analysis, and SMT. TFP (2019)
Joseph Eremondi, Wouter Swierstra, Jurriaan Hage
A framework for improving error messages in dependently-typed languages. Open Comput. Sci. 9 (1) (2019)
Joseph Eremondi
Set Constraints, Pattern Match Analysis, and SMT. CoRR (2019)
Joseph Eremondi, Éric Tanter, Ronald Garcia
Approximate Normalization for Gradual Dependent Types. CoRR (2019)
Joseph Eremondi, Éric Tanter, Ronald Garcia
Approximate normalization for gradual dependent types. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Julian Petford, Miguel A. Nacenta, Carl Gutwin, Joseph Eremondi, Cody Ede
The ASPECTA toolkit: affordable full coverage displays. PerDis (2016)