Eliminating dependent pattern matching

2006

Healfdene Goguen, Conor McBride, James McKinna

in: Algebra, meaning, and computation, Berlin,