Strictness Analysis Aids Inductive Proofs

John Launchbury. Strictness Analysis Aids Inductive Proofs. Inf. Process. Lett., 35(3):155-159, 1990.

Abstract

Abstract is missing.