The Theory of Strictness Analysis for Higher Order Functions
G. Burn‚ C. Hankin and S. Abramsky
Book Title
Programs as Data Objects
Editor
H. Ganzinger and N. Jones
Pages
42−62
Publisher
Springer−Verlag
Year
1986
G. Burn‚ C. Hankin and S. Abramsky