Projects per year
Search results
-
Active
UC Handlers
Lindley, S. (Principal Investigator) & Kohlweiss, M. (Co-investigator)
1/02/25 → 31/01/28
Project: Research
-
Compositional Normalisation with Modal Types
Valliappan, N. (Principal Investigator) & Lindley, S. (Sponsor)
1/03/24 → 28/02/27
Project: Research
-
EPOCH: Effectful Programming on Capability Hardware
Lindley, S. (Principal Investigator) & Stark, I. (Co-investigator)
Huawei Technologies Research & Development (UK) Limited
1/09/23 → 31/03/26
Project: Research
-
Finished
Effect Handler Oriented Programming
Lindley, S. (Principal Investigator)
1/02/21 → 31/01/25
Project: Research