A conceptual programming language that only allows returns from functions in certain contexts. Most code behaves as if in continuation passing style. Strongly and statically typed. Does not allow functions to return values arbitrarily. Only values that have a known size at compile time may escape the function in which they are created. Most functions accept a next function which is called with the value generated by the function body. This allows us to store almost everything on the stack, and