[082349872349872]

Yeah, when I was trying to think of more recent examples type theory came to mind, but I think "structured programming" has had more bang for the buck so far...