Sam Lindley
From MaRDI portal
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 |
|---|---|---|
| Scoped Effects as Parameterized Algebraic Theories (available as arXiv preprint) | N/A | Paper |
| 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 |
| 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 |
| Talking bananas: structural recursion for session types Proceedings of the 21st 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 |
Research outcomes over time
This page was built for person: Sam Lindley
