In numerical terms, these products represent some of the largest distribution of code developed by Computer Laboratory members. Incremental type checking when functions are updated Implementation choices for systems manipulating complex objects. In some systems normal forms may not even exist. We welcome applications by putative PhD students in any relevant area. We have quite a few departmental studentships for UK students, but otherwise approach us with a draft plan of research and we will try to find alternative industrial funding.
Publications See the group members' respective web pages.