Takuya Katayama. Treatment of Big Values in an Applicative Language HFP. In Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa, editors, RIMS Symposium on Software Science and Engineering, Kyoto, Japan, 1982, Proceedings. Volume 147 of Lecture Notes in Computer Science, pages 36-48, Springer, 1982.
Abstract is missing.