Repository | People

150055

References

Healfdene Goguen

Bibliography ¹Export

Eliminating dependent pattern matching

2006

with McBride Conor, McKinna James

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link

Order by

Filter

Language

english/english

Period

2000-2009

Style