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