Repository | Directory | Profile

Healfdene Goguen
Eliminating dependent pattern matching
2006
in: Algebra, meaning, and computation, Dordrecht : Springer

Repository | Directory | Profile
Eliminating dependent pattern matching
2006
in: Algebra, meaning, and computation, Dordrecht : Springer