Resources for Programming Language Research

• My Bibtex database
• Computer Science Bibliography Glimpse Server. This is the largest CS bibliography server I know of.
• The Hypatia archive of papers in logic and computer science.
• Google is definitely my favorite search engine.
• a Programming Language Research page from CMU.
• Semantics-Based Program Analysis and Manipulation
• Researchers in Programming Languages and Compilers.
• The Scheme repository

• I am on the editorial board of the following journals:
  1. Information and Computation
  2. Journal of Functional Programming
  3. Higher-Order and Symbolic Computation