Eliminating dependent pattern matching (2006)

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