ok@goanna.oz.au (Richard O'keefe) (03/15/90)
I'm not quite up to date on Prolog type-checking work. What are the really significant papers in, say, the last two years?