Sam Lindley

Active

UC Handlers
Lindley, S. (Principal Investigator) & Kohlweiss, M. (Co-investigator)
Iog Singapore Pte Ltd
1/02/25 → 31/01/28
Project: Research
Compositional Normalisation with Modal Types
Valliappan, N. (Principal Investigator) & Lindley, S. (Sponsor)
Royal Society
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)
MRC
1/02/21 → 31/01/25
Project: Research

Projects