I would suggest there are some good language research programs at some other schools that might not be quite as selective. Might be worth applying to, for examp

I would suggest there are some good language research programs at some other schools that might not be quite as selective. Might be worth applying to, for example, Brown, Northeastern, Indiana University. If you were to follow a typical bachelor's degree curriculum, you would have to take a bunch of other courses, both CS and non-CS, that have nothing to do with programming languages. So regardless of what school you go to, you might not end up with a lot of PL-specific coursework as an undergraduate. Thus, even a generally good school without a PL research group could still be worth considering, as it may still be a good stepping stone into a more desirable graduate program. You might even find that you enjoy some other branch of CS just as much as languages and type theory!