Programming language pl research in haskell omega has a lot of bleeding edge theoretical cs stuff too