We introduce a formalism allowing us to localize a certain class of theories with an infinite number of derivatives (nonlocal), which include effective actions of string field theory. The number of degrees of freedom is finite and the Cauchy problem, Hamiltonian and quantization are all well-defined. As applications, the rolling tachyon of cubic string field theory and some cosmological toy models are considered.