Eliminating dependent pattern matching (2006)

by H Goguen, C McBride, J McKinna
Venue:Algebra, Meaning, and Computation