Michael Hanus
-
Functional and constraint logic programming
Constraints in computational logics
A general framework for lazy functional logic programming with algebraic polymorphic types
Theory and Practice of Logic Programming