Coverage Semantics for Dependent Pattern Matching.

Joseph Eremondi, Ohad Kammar

Browse the full ESOP paper archive.