This talk is about a classical problem in differential geometry and global analysis: the isometric immersions of Riemannian manifolds into Euclidean spaces. We focus on the PDE approach to isometric immersions, i.e., the analysis of Gauss--Codazzi--Ricci equations, especially in the regime of low Sobolev regularity. Such equations are not purely elliptic, parabolic, or hyperbolic in general, hence calling for analytical tools for PDEs of mixed types. We discuss various recent contributions -- in line with the pioneering works by G.-Q. Chen, M. Slemrod, and D. Wang [Proc. Amer. Math. Soc. (2010); Comm. Math. Phys. (2010)] -- on the weak continuity of Gauss--Codazzi--Ricci equations, the weak stability of isometric immersions, and the fundamental theorem of submanifold theory with low regularity. Two mixed-type PDE techniques are emphasised throughout these developments: the method of compensated compactness and the theory of Coulomb--Uhlenbeck gauges. Connections with nonlinear elasticity and fluid mechanics will also be discussed.