Compiler design reference sought

Greetings!  Over the years, various theoretical papers on algorithms for
Common Lisp utilities have been very helpful in GCL development,
e.g. Baker's paper on the type system.

I am looking for a reference on compiler design algorithms which handle
type inferencing most efficiently.  Right now we iterate on conflict,
and I think this is too slow.  Pointers most appreciated!

Take care,
-- 
Camm Maguire			     		    [email protected]
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah