Global state considered unnecessary: An introduction to object-based semantics Uday S. Reddy OriginalPaper Pages: 7 - 76
Strictness analysis in the Imperative Lambda Calculus Jonathan SpringerSamuel N. Kamin OriginalPaper Pages: 109 - 143