11. ICLP 1994, Workshop W8:
Integration of Declarative Paradigms Hassan Aït-Kaci, Michael Hanus, Juan José Moreno-Navarro (Eds.):
Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994
- Cover Page, Preface, and Table of Contents.
Logic Programming plus Constraints
Extension of Type Systems for Declarative Languages
- Hans-Joachim Goltz:
Logic Programming with Constructor-based Type Constraints.
- M. Tarver:
A Typed Functional Language Based on Sequent Calculus.
Implementation of Integrated Languages
Declarative Programming plus Concurrency
Last update Sat May 18 14:33:24 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page