PhD Research Themes in Programming Language Semantics
This project makes use of category theory, type theory, denotational
semantics and functional programming. There has been a lot of
research over many years which uses techniques from category theory
and type theory to formulate results about the nature of evaluation of
functional code. For example, some results prove that if one has well
typed code satisfying certain properties, then termination is
guaranteed. One can also use these techniques to derive abstract
machines on which code may run. The basic idea of this project is to
look at these ideas in a nominal setting.
More information will follow.
|
