Repository | Directory | Profile

150055

Healfdene Goguen

Bibliographie ¹

Eliminating dependent pattern matching

2006

Healfdene Goguen Conor McBride James McKinna

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

Open Access Link

Sortieren

Filtern

Sprache

english/english

Periode

2000-2009