Lazy pattern matching in the ML language

Authors:
Alain Laville
Affiliations:
INRIA, Le Chesnay, France
Venue:
Proc. of the seventh conference on Foundations of software technology and theoretical computer science
Year:
1987

Comparison of priority rules in pattern matching and term rewriting

Journal of Symbolic Computation
Sequentiality in orthogonal term rewriting systems

Journal of Symbolic Computation
Fast strictness analysis based on demand propagation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Matching Power

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Term indexing

Handbook of automated reasoning

Hi-index	0.00