@inbook{eremondi-2025-coverage, title={Coverage Semantics for Dependent Pattern Matching}, ISBN={9783031911187}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-91118-7_11}, DOI={10.1007/978-3-031-91118-7_11}, booktitle={Programming Languages and Systems}, publisher={Springer Nature Switzerland}, author={Eremondi, Joseph and Kammar, Ohad}, year={2025}, pages={264–291} }