Programming Languages

The goal of programming languages research is to improve the reliability and performance of software systems by developing fundamentally new ways of developing, verifying and deploying software.