Interesting-looking paper from Bob Harper (not involving type theory!) --Mitch http://www.cs.cmu.edu/~rwh/papers/iolambda/short.pdf -------------- next part -------------- HTML attachment scrubbed and removed