Repository | Directory | Profile
References
Conor McBride
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