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