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