Hiroshi Fujita, Akira Okumura, Koichi Furukawa
Partial Evaluation of GHC Programs Based on the UR-set with Constraints
ICLP, 1988.
@inproceedings{JICSCP-1988-FujitaOF88, author = "Hiroshi Fujita and Akira Okumura and Koichi Furukawa", booktitle = "{Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes}", isbn = "0-262-61056-6", pages = "924--941", publisher = "{MIT Press}", title = "{Partial Evaluation of GHC Programs Based on the UR-set with Constraints}", year = 1988, }