> When is the paper due? I can try to have comments to you > next week if that's not too late. > > -- Suresh The ICFP deadline is March 15. What's on Steve's site is still very incomplete, but the framework (i.e., definitions, etc.) are all there as are the descriptions of each analysis and proofs of safety and minimality.