Complexity of matching problems, Journal of Symbolic Computation, vol.3, issue.1-2, pp.203-216, 1987. ,
DOI : 10.1016/S0747-7171(87)80027-5
Computational problems in abstract algebra, chapter Simple word problems in universal algebra, 1970. ,
Abstract, Journal of Functional Programming, vol.27, issue.02, pp.171-190, 1993. ,
DOI : 10.1016/0167-6423(90)90070-T
Views: An extension to Haskell pattern matching, 1996. ,
Canonical forms in finitely presented algebras. Research notes in theoretical computer science, 1986. ,
CiME version 2.02. LRI, CNRS UMR 8623, 2004. ,
The Coq Proof Assistant Reference Manual, Version 8.0, 2006. ,
Rewrite Systems, 1990. ,
DOI : 10.1016/B978-0-444-88074-1.50011-1
Zenon, version 0.4.1. http://focal.inria.fr/zenon, 2006. ,
The Objective Caml system release 3.09, Documentation and user's manual, 2005. ,
The New WALDMEISTER Loop at Work, Proc. of CADE'03 ,
DOI : 10.1007/978-3-540-45085-6_27
Compilation de formes canoniques dans les thories quationnelles, 1980. ,
Modular Church-Rosser Modulo, Proc. of RTA'06 ,
DOI : 10.1007/11805618_8
URL : https://hal.archives-ouvertes.fr/inria-00350970
A pattern matching compiler for multiple target languages, Proc. of CC'03 ,
URL : https://hal.archives-ouvertes.fr/inria-00099427
Views for standard ML, Proc. of ML'98 ,
Complete Sets of Reductions for Some Equational Theories, Journal of the ACM, vol.28, issue.2, pp.233-264, 1981. ,
DOI : 10.1145/322248.322251
Completeness of hierarchical combinations of term rewriting systems, Proc. of FSTTCS'93 ,
DOI : 10.1007/3-540-57529-4_48
FoCal Reference Manual, version 0.3.1, 2005. ,
Laws in Miranda, Proceedings of the 1986 ACM conference on LISP and functional programming , LFP '86 ,
DOI : 10.1145/319838.319839
Lawful functions and program verification in Miranda, Science of Computer Programming, vol.13, issue.2-3, pp.181-218, 1990. ,
DOI : 10.1016/0167-6423(90)90070-T
Views: a way for pattern matching to cohabit with data abstraction, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87 ,
DOI : 10.1145/41625.41653
Private constructors in OCaml, 2003. ,