Programming languages research in the Laboratory for Foundations of Computer Science spans foundations and application areas from web programming and databases to security and quantum computation, using techniques from category theory, type theory, formal verification, operational and denotational semantics, logic, and automata theory.

http://wcms.inf.ed.ac.uk/lfcs/research/groups-and-projects/pl