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