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