11. ICLP 1994, Workshop W8: Integration of Declarative Paradigms

Logic Programming plus Constraints

Extension of Type Systems for Declarative Languages

Implementation of Integrated Languages

Declarative Programming plus Concurrency