David Van Horn scripsit: > Stalin does sophisticated flow analysis that has been influential in > the functional language compiler community. The tech report cited in > this thread is also discussed in Jan Midtgaard's survey on control-flow > analysis of functional programs, which is going to appear in the ACM > Computing Surveys journal. Stalin is also prior to (but distinct from) > StalinGrad, part of Jeffrey Mark Siskind and Barak Pearlmutter's work > on automatic differentiation. That work has appeared in POPL, HOSC, > and TOPLAS.
I also received private email to the same general effect. I admit my ignorance, and retract my claims. -- John Cowan http://ccil.org/~cowan [email protected] Lope de Vega: "It wonders me I can speak at all. Some caitiff rogue did rudely yerk me on the knob, wherefrom my wits still wander." An Englishman: "Ay, a filchman to the nab betimes 'll leave a man crank for a spell." --Harry Turtledove, Ruled Britannia _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
