Inference of Polymorphic and Conditional Strictness Properties.

Thomas P. Jensen

Browse the full POPL paper archive.