CS doesn't really cover software design at the level of programming language idioms like callbacks. The closest it might get is lambda calculus and reasoning ab

CS doesn't really cover software design at the level of programming language idioms like callbacks. The closest it might get is lambda calculus and reasoning about code as graph reduction, where code is just a data structure. Software engineering might cover design patterns, but even then it's a limited set of techniques with broad application - idioms in practice are tuned to their language and execution environment, because clumsy idioms don't propagate.