@INPROCEEDINGS{Hanus90DISCO,
author = "Hanus, M.",
title = "A Functional and Logic Language with Polymorphic Types",
booktitle = "Proc. Int. Symposium on Design and Implementation of Symbolic Computation Systems",
publisher = "Springer LNCS 429",
pages = "215-224",
year = 1990,
abstract = {
This paper presents a typed language with a precisely defined
semantics that integrates functional and logic
programming styles. To detect programming errors
at compile time, the language has a polymorphic type system.
The type system restricts the possible use of functions and predicates
and ensures that a function or predicate is only called with
appropriate arguments at run time.
In contrast to many other type systems for logic programming,
this type system has a model-theoretic semantics (types are subsets
of domains of interpretations) and allows the use of typical logic programming
techniques. For instance, it is possible to add specialized clauses and
to apply higher-order programming techniques.
},
}