Partial Evaluation of Shaped Programs: Experience with FISh.
C. Barry Jay · 1999
FISh is an array-based programming language that combines imperative and functional programming styles. Static shape analysis uses partial evaluation to convert arbitrary programs into simple, efficient imperative programs.