Call-by-push-value is a calculus that provides precise control of the evaluation order to unify two common evaluation strategies, call-by-value, and call-by-name. In this article, we propose Zydeco, a new language based on call-by-push-value. Zydeco’s stack-based computation model offers codata, a type designed to express the type of the stack explicitly. The main goal of Zydeco is to type-check the stack and give a desirable intermediate representation and compilation target.