Type preservation is an important property of compilers, especially in the case where the source and target languages are dependently typed. Our goal is to define a type-preserving, one-pass CPS translation of the Calculus of Constructions with dependent pair types. In this talk proposal, we first review the existing techniques for preserving dependent types in ordinary CPS translations, and then describe our attempt to adapt those techniques to an optimizing translation that yields no administrative redexes.