Research output per year
Research output per year
Fingerprint
Dive into the research topics where Sam Lindley is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Modal effect types
Tang, W., White, L., Dolan, S., Hillerström, D., Lindley, S. & Lorenzen, A., 9 Apr 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA1, p. 1130-1157 28 p., 120.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Effect handlers for C via coroutines
Alvarez-Picallo, M., Freund, T., Ghica, D. R. & Lindley, S., 8 Oct 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, p. 2462-2489 28 p., 358.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Oxidizing OCaml with modal memory management
Lorenzen, A., White, L., Dolan, S., Eisenberg, R. A. & Lindley, S., 15 Aug 2024, In: Proceedings of the ACM on Programming Languages. 8, ICFP, p. 485-514 30 p., 253.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Bringing the WebAssembly standard up to speed with SpecTec
Youn, D., Shin, W., Lee, J., Ryu, S., Breitner, J., Gardner, P., Lindley, S., Pretnar, M., Rao, X., Watt, C. & Rossberg, A., 20 Jun 2024, In: Proceedings of the ACM on Programming Languages. 8, PLDI, p. 1559-1584 26 p., 210.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
The functional essence of imperative binary search trees
Lorenzen, A., Leijen, D., Swierstra, W. & Lindley, S., 20 Jun 2024, In: Proceedings of the ACM on Programming Languages. 8, PLDI, p. 518-542 25 p., 168.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Activities
- 4 Editorial activity
-
7th Workshop on Mathematically Structured Functional Programming (Event)
Atkey, R. (Editor) & Lindley, S. (Editor)
8 Jul 2018Activity: Publication peer-review and editorial work types › Editorial activity
-
22nd ACM SIGPLAN International Conference on Functional Programming (Event)
Lindley, S. (Editor) & Yorgey, B. (Editor)
2018Activity: Publication peer-review and editorial work types › Editorial activity
-
7th Workshop on Mathematically Structured Functional Programming (Event)
Atkey, R. (Editor) & Lindley, S. (Editor)
2018Activity: Publication peer-review and editorial work types › Editorial activity
-
2nd ACM SIGPLAN International Workshop on Type-Driven Development (Event)
Lindley, S. (Editor) & Yorgey, B. (Editor)
3 Sept 2017Activity: Publication peer-review and editorial work types › Editorial activity
-
UC Handlers
Lindley, S. (Principal Investigator) & Kohlweiss, M. (Co-investigator)
1/02/25 → 31/01/28
Project: Research
-
Effect Handler Oriented Programming - extension
Lindley, S. (Principal 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
-
Effect Handler Oriented Programming
Lindley, S. (Principal Investigator)
1/02/21 → 31/01/25
Project: Research
Datasets
-
Effect Handlers for C via Coroutines - Artifact
Alvarez-Picallo, M. (Creator), Freund, T. (Creator), Ghica, D. R. (Creator) & Lindley, S. (Creator), Zenodo, 1 Sept 2024
DOI: 10.5281/zenodo.13619817, https://doi.org/10.1145/3689798
Dataset
-
[CODE] The Functional Essence of Imperative Binary Search Trees (Artifact)
Lorenzen, A. (Creator), Leijen, D. (Creator), Swierstra, W. (Creator) & Lindley, S. (Creator), Zenodo, 6 Mar 2024
Dataset