Effect Handler Oriented Programming

Lindley, Sam (Principal Investigator)

School of Informatics

Status	Active
Effective start/end date	1/02/21 → 31/01/25

Funding

MRC: £1,449,695.00

2 Conference contribution
1 Article

Constraint-based type inference for FreezeML
Emrich, F., Stolarek, J., Cheney, J. & Lindley, S., 31 Aug 2022, In: Proceedings of the ACM on Programming Languages. 6, ICFP, p. 570-595 111.
Research output: Contribution to journal › Article › peer-review

Open Access
File
A Typed Slicing Compilation of the Polymorphic RPC Calculus
Choi, K., Cheney, J., Lindley, S. & Reynders, B., 6 Sep 2021, Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021). ACM, 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Practical Normalization by Evaluation for EDSLs
Valliappan, N., Russo, A. & Lindley, S., 18 Aug 2021, Proceedings of the 14th ACM SIGPLAN International Haskell Symposium (Haskell 2021). Virtual, Republic of Korea: ACM, p. 56-70 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File