Central and East European
Society for Phenomenology

Repository | Directory | Profile

150057

James McKinna

Bibliography ¹

Eliminating dependent pattern matching

2006

Healfdene Goguen Conor McBride James McKinna

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

Open Access Link

Order by

Filter

Language

english/english

Period

2000-2009