ML Anthology
Authors
Search
About
Horiuchi, Kenji
1 publications
IJCAI
1985
Type Inference in Prolog and Its Application
Tadashi Kanamori
,
Kenji Horiuchi