I've committed to Northeastern. I also got into UMD and Purdue, but Northeastern was the strongest in PL theory, and FP and PL culture influences the undergraduate curriculum through Felleisen's teaching philosophy.
Just a word of encouragement from someone 12 yrs down the line from you: Northeastern PL is a great group. And you seem to have the mindset to get into research, atleast a PhD. PhD admissions are (mostly) purely meritocratic. Take the long-term view. Best of luck!
Yes, but what I'm seeing now (Neuroscience at Stanford), grad admissions stopped taking GRE's or GPAs for admissions and it's all based on research experience and rec letters. This may not be universal yet, but there's a large movement to move away from these metrics in graduate admissions. Having good research experience as an undergrad seems critical now even more than before.
There are multiple ways to get into grad school. One way is to just apply. Another way is to individually get to know the professors, express your interest, and stand out. Professors have substantial pull if there is someone they specifically want.
Boston/Cambridge are beautiful city and you’ll love it there. The whole town is A big college place and you’ll mingle plenty from students in all the schools.
A friend of mine from HS went to northeastern, and long story short cashed out plenty from Juul recently. She worked very hard, but There’s a lot of luck involved in life too.
You can make your luck by being open minded to things you don’t know and seeking out mentors. I went to UPenn and confirm the PL GRoup is solid, and the prof in the PL group are really kind people as well. Do you have a particular thing you want to work on in PL?
I want to learn more about HoTT and constructive math, but I probably have to go to CMU to go deep into that.
At Northeastern, I'll probably explore systems programming languages (I know that Amal Ahmed published a foundations of Rust paper) and gradual typing.
Hah I was interested in something similar at one point. The PL community is pretty small, if you go to one of these Haskell hackathons you'll meet plenty of them. There used to be one held at Penn (Hack-phi) but that may have ended. Boston Haskell hackathon is still going I believe, and there's many meetups in NY. So going to these places and meet tons of people is one way to secure your own uck. And I echo what the other person has said, your narrow focus on niche topic may have put you in a harder category. Admission officers have very specific buckets they put you in, in this category you may have been competing against math wizes from abroad.