Joseph Eremondi

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