Sounds like the kind of course that I would have wanted (I dropped out of mine). The sad thing is that they get squashed under the weight of students and industry railing against learning 'theoretical' stuff because it seems like it isn't 'real world' enough. On the contrary I've found my self-education in type theory, programming languages, and discrete mathematics hugely beneficial in helping me pick up new technology fast, and finding the right abstractions for the job at hand.