Sam Lindley

Available identifiers

Publication	Date of Publication	Type
Asymptotic speedup via effect handlers	2024-06-25	Paper
Separating Sessions Smoothly	2023-08-26	Paper
Separating Sessions Smoothly	2023-08-21	Paper
Shallow effect handlers	2023-08-02	Paper
Effect handlers via generalised continuations	2020-05-26	Paper
Doo bee doo bee doo	2020-05-26	Paper
Continuation passing style for effect handlers	2020-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q4608685	2018-03-21	Paper
Do be do be do	2017-10-20	Paper
Talking bananas: structural recursion for session types	2017-05-10	Paper
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code	2017-05-10	Paper
Conflation Confers Concurrency	2016-08-17	Paper
A Semantics for Propositions as Sessions	2016-04-26	Paper
Handlers in action	2015-03-30	Paper
A practical theory of language-integrated query	2015-03-30	Paper
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous	2014-06-27	Paper
The arrow calculus	2010-03-17	Paper
Extensional Rewriting with Sums	2009-03-10	Paper
Shrinking Reductions in SML.NET	2007-10-23	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
Scoped Effects as Parameterized Algebraic Theories	N/A	Paper

This page was built for person: Sam Lindley