2002 IEEE International Conference on Systems, Man and Cybernetics (SMC'02), Hammamet (Tunisia), pp. 194-199, IEEE Press, 2002
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 multi-paradigm 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.
Available: PDF BibTeX-Entry