All aspects of programming language research: design, semantic and logic foundations, type theory, compilers, analysis, verification, optimization, program specification and construction, hardware description languages, and software engineering support.