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)
comqss@herts.ac.uk