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

maintained by Schloss Dagstuhl LZI at University of Trier