References
Healfdene Goguen
with McBride Conor, McKinna James (2006). Eliminating dependent pattern matching. In K. Futatsugi, J. Jouannaud & J. Meseguer (eds.) Algebra, meaning, and computation (pp. 521-540). Dordrecht: Springer.
with McBride Conor, McKinna James (2006). Eliminating dependent pattern matching. In K. Futatsugi, J. Jouannaud & J. Meseguer (eds.) Algebra, meaning, and computation (pp. 521-540). Dordrecht: Springer.