@TECHREPORT{AitKaciHanusMorenoNavarro-94-mpii224,
AUTHOR = {A\"{\i}t-Kaci, Hassan and Hanus, Michael and Moreno Navarro, Juan Jos\'e},
TITLE = {Integration of Declarative Paradigms -- Proceedings of the ICLP'94 Post-Conference Workshop},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
ADDRESS = {Saarbr{\"u}cken, Germany},
YEAR = {1994},
NUMBER = {MPI-I-94-224},
PAGES = {154},
TYPE = {Technical Report},
ABSTRACT = {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.},
}