Linguistique de l’écrit
Revue internationale en libre accès
Revue | Auteurs
Eliminating dependent pattern matching
2006
Healfdene GoguenConor McBrideJames McKinna
in: Algebra, meaning, and computation, Dordrecht : Springer
