Joseph Eremondi
- Approximate Normalization for Gradual Dependent Types
2019/06/15 by Joseph Eremondi, Éric Tanter, Ronald Garcia · 2 voices
Computer Science · #cs.PL
- Coverage Semantics for Dependent Pattern Matching
2025/01/30 by Joseph Eremondi, Ohad Kammar, Eremondi, Joseph +1 · 2 voices
Computer Science · #Algorithms and Data Compression #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Semantic Web and Ontologies