Resources for Programming Language Research
Computer Science Bibliography Glimpse Server
. This is the largest CS bibliography server I know of.
of papers in logic and computer science.
is definitely my favorite search engine.
Programming Language Research
page from CMU.
Semantics-Based Program Analysis and Manipulation
Researchers in Programming Languages and Compilers
I am on the editorial board of the following journals:
Information and Computation
Journal of Functional Programming
Higher-Order and Symbolic Computation