[r6rs-discuss] Proposed features for small Scheme, part 1: a stake in the ground

[John Cowan]

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   cowan at ccil.org
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