Thanks, that document looks very impressive and will now sit at the top of my reading list :)
Oddly following that link gives me a 404 ('The requested URL /~dyb/papers/3imp.pdf‎ was not found on this server.', seems there is a trailing character '%E2%80%8E').
Dybvig himself, you might recognize him as the author of the Scheme specification.