In article <··········@mtinsc02.worldnet.att.net>, "Bryan A. Bentz"
<·····@ai.mit.edu> wrote:
> I'm looking for code which will read in a lisp form, and output an
> equivalent form with as much type information as can be reasonably
> inferred from the usages to which variables are put.
Some ideas along this line can be found in:
ftp://ftp.netcom.com/pub/hb/hbaker/TInference.html (also .ps.Z)