Bernd Gersdorf, U Bremen. An integration of functional and logic programming.
Nearby terms: Estelle « Esterel « EstPC « ET » et » ET++ » eta abstraction
