Connecting Higher-Order Separation Logic to a First-Order Outside World.

William Mansky, Wolf Honor, Andrew W. Appel

Browse the full ESOP paper archive.