Mode Based Type Inference for Prolog Programs.

Dongwook Shin Youngmin Chung Hyunsoo Yoon Mode Based Type Inference for Prolog Programs. 239-243 1993 conf/seke/1993 SEKE db/conf/seke/seke1993.html#ShinCY93