Compiler design reference sought

[Camm Maguire]

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                                        camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah