Semantic Foundations of Jade.

Martin C. Rinard, Monica S. Lam

Browse the full POPL paper archive.