Sam Lindley

Search results

• Active

  UC Handlers

  Lindley, S. (Principal Investigator) & Kohlweiss, M. (Co-investigator)

  Iog Singapore Pte Ltd

  1/02/25 → 31/01/28

  Project: Research

• Effect Handler Oriented Programming - extension

  Lindley, S. (Principal Investigator)

  UKRI (formerly RCUK)

  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