[Haskell] Fully-funded PhD in programming languages at Oxford