References
Conor McBride
Eliminating dependent pattern matching
2006
with Goguen Healfdene, McKinna James
in: Algebra, meaning, and computation, Dordrecht : Springer
2006
with Goguen Healfdene, McKinna James
in: Algebra, meaning, and computation, Dordrecht : Springer