Integration of Declarative Paradigms - Proceedings of the ICLP'94 Post-Conference Workshop


Technical Report MPI-I-94-224, Max-Planck-Institut fuer Informatik

Since the initial efforts in reconciling the styles of functional programming and logic programming, there has been significant work done regarding efficient implementation. Also, new declarative paradigms, such as constraint-based or object-based, have now emerged, asking naturally to be conjugated and exploited along with other such programming techniques. As a result, interest in the integration of declarative paradigms has been spurred anew. This workshop aims at bringing together researchers from different communities as well as giving the logic programming audience an idea of recent advances. Topics are: language features, semantics, execution principles, implementation issues, constraints, types, functions, and concurrency.

Available: BibTeX-Entry


Michael Hanus