Typing Strictness (Extended Version)

Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce +1

Strictness analysis is critical to efficient implementation of languages with non-strict evaluation, mitigating much of the performance overhead of laziness. However, reasoning abo…