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