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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
High-Level Effect Handlers in C++
Ghica, D., Lindley, S., Maroñas Bravo, M. & Piróg, M., 1 Sep 2022, (Accepted/In press) In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, 29 p., 183.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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 AccessFile -
Constraint-based type inference for FreezeML
Emrich, F., Stolarek, J., Cheney, J. & Lindley, S., 20 Jul 2022, ArXiv, 45 p.Research output: Working paper › Preprint
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 AccessFile -
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 AccessFile
Activities
- 4 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
-
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
-
2nd ACM SIGPLAN International Workshop on Type-Driven Development (Event)
Sam Lindley (Editor) & Brent Yorgey (Editor)
3 Sep 2017Activity: Publication peer-review and editorial work types › Editorial activity
Projects
- 1 Active