Synthesis of Directionality Information for Functional Logic Programs.

Johan Boye, Jukka Paakki, Jan Maluszynski

Browse the full SAS paper archive.