I've posted the two-page summary of my invited talk for ICFP. It is at ftp://ftp.ccs.neu.edu/pub/people/wand/papers/icfp-03.ps Enjoy! --Mitch