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