Partial Evaluation of GHC Programs Based on the UR-set with Constraints.

Hiroshi Fujita, Akira Okumura, Koichi Furukawa

Browse the full ICLP paper archive.