I will survey generalizations of the Gauss-Bonnet theorem to higher dimensions. After a brief discussion of the work of Allendoerfer, Fenchel and Chern, I will describe an extrinsic proof that uses Morse theory and integral geometry. The same techniques also give beautiful formulas for manifolds with boundary, as well as a surprising result for submanifolds of the sphere.