A partial evaluation tool for multi-paradigm declarative languages

G. Vidal
IEEE International Conference on Systems, Man and Cybernetics  
This article describes a practical (online) partial evaluation tool which is applicable to modern multi-paradigm declarative languages (like, e.g., Curry). The most recent proposal for multiparadigm declarative programming advocates the integration of features from functional, logic and concurrent programming. The developed tool has been successfully integrated into the PAKCS compiler for the language Curry.
doi:10.1109/icsmc.2002.1167972 fatcat:ilb3ahetzrcltbhq67g4yv4pne