PhD in Extensible Programming Languages for Data Structures in Monoidal Categories
University of Exeter
- Exeter
£21805 per year
This project will build a bridge between the two strands of theoretical computer science, (a) algorithms and complexity theory and (b) logic and programming language theory, and to put the resulting b
To skrót ogłoszenia. Pełną treść i formularz aplikacji znajdziesz na stronie ogłoszeniodawcy.
Przejdź do ogłoszenia