On Strictness and its Analysis.

Tsung-Min Kuo, Prateek Mishra

Browse the full POPL paper archive.