ET

Bernd Gersdorf, University of Bremen, Germany

An integration of functional and logic programming.