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

[David Van Horn]

John Cowan wrote:
> As for Stalin, I grant that it's important, and that it's art, but
> I deny that it's actually prior to anything in particular.  It's
> a dinosaur without even avian descendants.

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.

David