Sam Lindley
From MaRDI portal
Person:2802453
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Asymptotic speedup via effect handlers Journal of Functional Programming | 2024-06-25 | Paper |
| Separating sessions smoothly Logical Methods in Computer Science | 2023-08-26 | Paper |
| Separating sessions smoothly | 2023-08-21 | Paper |
| Shallow effect handlers Programming Languages and Systems | 2023-08-02 | Paper |
| Effect handlers via generalised continuations Journal of Functional Programming | 2020-05-26 | Paper |
| Doo bee doo bee doo Journal of Functional Programming | 2020-05-26 | Paper |
| Continuation passing style for effect handlers | 2020-05-26 | Paper |
| scientific article; zbMATH DE number 6851955 (Why is no real title available?) | 2018-03-21 | Paper |
| Do be do be do Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Do be do be do Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Talking bananas: structural recursion for session types Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Conflation confers concurrency A List of Successes That Can Change the World | 2016-08-17 | Paper |
| A Semantics for Propositions as Sessions Programming Languages and Systems | 2016-04-26 | Paper |
| Handlers in action Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| A practical theory of language-integrated query Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Idioms are oblivious, arrows are meticulous, monads are promiscuous Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
| The arrow calculus Journal of Functional Programming | 2010-03-17 | Paper |
| Extensional Rewriting with Sums Lecture Notes in Computer Science | 2009-03-10 | Paper |
| Shrinking Reductions in SML.NET Implementation and Application of Functional Languages | 2007-10-23 | Paper |
| Typed Lambda Calculi and Applications Lecture Notes in Computer Science | 2005-11-11 | Paper |
| Scoped Effects as Parameterized Algebraic Theories (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Sam Lindley
