Hanus, M. and Schwab, A. "The Implementation of the Functional-Logic Language ALF"

(1990)

Languages mentioned