Programming in equational logic: beyond strong sequentiality

Fast strictness analysis based on demand propagation

ACM Transactions on Programming Languages and Systems (TOPLAS)

On the power and limitations of strictness analysis

Journal of the ACM (JACM)

Call by need computations to root-stable form

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A needed narrowing strategy

Journal of the ACM (JACM)

Context-sensitive rewriting strategies

Information and Computation

Using Static Analysis to Compile Non-sequential Functional Logic Programs

PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages

Parallel Admissible Graph Rewriting

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques

Constructor-based conditional narrowing

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

Refining weakly outermost-needed rewriting and narrowing

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming

Complete symbolic reachability analysis using back-and-forth narrowing

Theoretical Computer Science - Algebra and coalgebra in computer science

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

Higher-Order and Symbolic Computation

Narrowing and Rewriting Logic: from Foundations to Applications

Electronic Notes in Theoretical Computer Science (ENTCS)

Computing with subspaces

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming

Evaluation strategies for functional logic programming

Journal of Symbolic Computation

Multi-paradigm declarative languages

ICLP'07 Proceedings of the 23rd international conference on Logic programming

On confluence of infinitary combinatory reduction systems

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Natural rewriting for general term rewriting systems

LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation

Natural narrowing for general term rewriting systems

RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications

Are needed redexes really needed?

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming