Research in programming languages