Yes. Includes those who work on compilers, formal verification, functional languages, OO languages, and so on. Not the hottest topic these days (compared to ML).