Programming Language Research

• What's new
• Language overviews
• Research projects
• Home pages of researchers
• Journals, books, and publishers
• Conferences and workshops
• Bibliographies
• Miscellaneous

Subject-Oriented Pages

• Action semantics
• Automated deduction
• Automated reasoning
• Calculi for Mobile Processes
• Constraints
• Dataflow
• Formal methods
• Functional programming
• Functional logic programming
• Instruction set simulation and instruction-level program tracing
• Linear logic
• Literate programming
• Logic programming
• Logical frameworks
• Memory management
• Mobile code
• Object-oriented programming
• Program Specialization and Partial Evaluation
• Run-time code generation
• Semantics-based program analysis and manipulation
• Skeletal parallelism
• Software engineering
• Supercomputing and parallel computing
• The Types Forum
• Visual programming and program and data visualisation

Other Related Pages

• Functional Languages FAQ
• The European Association for Programming Languages and Systems
• The Compiler Connection at NULLSTONE
• The Teaching About Programming Languages project.
• Catalog of Compiler Construction Tools
• ACM SIGPLAN home page
• AMAST Links (Algebraic Methodology And Software Technology)
• Archive of comp.compilers
• The SEL-HPC Article Archive
• Reading list on parallel languages