Barker 2004 shows how to obtain the type-shifting scope ambiguity for ‘Everyone loves someone’ in terms of a continuation-passing-style translation.  The key idea is that in mapping the source calculus to the semantic target calculus, all types are parameterized with an extra continuation argument.  We use a new translation function (·)* for this, which composes the mapping from syntactic to semantic types with the continuization.  A source language type A is now associated with a so-called computation in the target language, i.e., a function acting on its own continuation: A* = (A′ → t) → t.