Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures.

Bernard Lang

Browse the full POPL paper archive.