Eliminating dependent pattern matching (2006)

by Healfdene Goguen , Conor Mcbride , James Mckinna
Venue:of Lecture Notes in Computer Science
Citations:9 - 4 self