Full Abstraction for Functional Languages with Control.

James Laird

Browse the full LICS paper archive.