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
-
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 -
Behavioural types for heterogeneous systems (position paper)
Fowler, S., Haller, P., Kuhn, R., Lindley, S., Scalas, A. & Vasconcelos, V. T., 6 Apr 2024, Proceedings of the 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. EPTCS, p. 37-48 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Asymptotic Speedup via Effect Handlers
Hillerström, D., Lindley, S. & Longley, J., 5 Apr 2024, In: Journal of Functional Programming. 34, p. 1-54 54 p., e5.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Scoped Effects as Parameterized Algebraic Theories
Lindley, S., Matache, C., Moss, S. K., Staton, S., Wu, N. & Yang, Z., 5 Apr 2024, Proceedings of the 33rd European Symposium on Programming ESOP 2024. Springer, Vol. 14576. p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 14576).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Activities
- 4 Editorial activity
-
7th Workshop on Mathematically Structured Functional Programming (Event)
Robert Atkey (Editor) & Sam Lindley (Editor)
8 Jul 2018Activity: Publication peer-review and editorial work types › Editorial activity
-
7th Workshop on Mathematically Structured Functional Programming (Event)
Robert Atkey (Editor) & Sam Lindley (Editor)
2018Activity: Publication peer-review and editorial work types › Editorial activity
-
22nd ACM SIGPLAN International Conference on Functional Programming (Event)
Sam Lindley (Editor) & Brent Yorgey (Editor)
2018Activity: Publication peer-review and editorial work types › Editorial activity
-
2nd ACM SIGPLAN International Workshop on Type-Driven Development (Event)
Sam Lindley (Editor) & Brent Yorgey (Editor)
3 Sept 2017Activity: Publication peer-review and editorial work types › Editorial activity
Projects
- 3 Active
-
-
EPOCH: Effectful Programming on Capability Hardware
Huawei Technologies Research & Development (UK) Limited
1/09/23 → 31/03/26
Project: Research
-