Nondeterminism with referential transparency in functional programming languages

Conception, evolution, and application of functional programming languages

ACM Computing Surveys (CSUR)

Search in concurrent logic languages

SAC '95 Proceedings of the 1995 ACM symposium on Applied computing

Programming In Concurrent Logic Languages

IEEE Software

First-class monadic schedules

ACM Transactions on Programming Languages and Systems (TOPLAS)

Controlling chaos: on safe side-effects in data-parallel operations

Proceedings of the 4th workshop on Declarative aspects of multicore programming

Agent-oriented programming: from prolog to guarded definite clauses

Agent-oriented programming: from prolog to guarded definite clauses