Strictness Analysis

Strictness Analysis - a Practical Approach

C. Clack and S. Peyton Jones[ (ed)] (INCOLLECTION, 1985)

Higher Order Strictness Analysis in Untyped Lambda Calculus

P. Hudak and M.F. Young[ (ed)] (INPROCEEDINGS, 1986)

Strictness Analysis Using Abstract Reduction

E. Nöcker[ (ed)] (INPROCEEDINGS, 1993)