11th 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

a service of Schloss Dagstuhl - Leibniz Center for Informatics