Polymorphism by Name for References and Continuations.

Xavier Leroy

Browse the full POPL paper archive.