Johan Boye, Jukka Paakki, Jan Maluszynski. Synthesis of Directionality Information for Functional Logic Programs. In Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy, editors, Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings. Volume 724 of Lecture Notes in Computer Science, pages 165-177, Springer, 1993.
Abstract is missing.