Beckerle, Michael J. "Logical Structures for Functional Languages" MSc February 1986 MIT Computer Science
(1986)
Languages mentioned
delta
{1986} Hybrid functional/logic languages
eta
{1986}