OPAL: design and implementation of an algebraic programming language

Equations as a uniform framework for partial evaluation and abstract interpretation

ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue

Compiling language definitions: the ASF+SDF compiler

ACM Transactions on Programming Languages and Systems (TOPLAS)

From program languages to software languages

Journal of Systems and Software - Special issue on artificial and computational intelligence for decisions, control, and automation in engineering and industrial applications

Non-deterministic Computations in ELAN

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

Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories

Journal of Functional Programming

Integration of declarative and constraint programming

Theory and Practice of Logic Programming

Coordinating computation with communication

COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages

Compilation techniques for associative-commutative normalisation

Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications

Towards a tight integration of a functional web client language into Scala

Proceedings of the 4th Workshop on Scala