Sam Lindley

From MaRDI portal
Revision as of 07:26, 25 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2802453

Available identifiers

zbMath Open lindley.samMaRDI QIDQ2802453

List of research outcomes





PublicationDate of PublicationType
Asymptotic speedup via effect handlers2024-06-25Paper
Separating Sessions Smoothly2023-08-26Paper
Separating Sessions Smoothly2023-08-21Paper
Shallow effect handlers2023-08-02Paper
Effect handlers via generalised continuations2020-05-26Paper
Doo bee doo bee doo2020-05-26Paper
Continuation passing style for effect handlers2020-05-26Paper
https://portal.mardi4nfdi.de/entity/Q46086852018-03-21Paper
Do be do be do2017-10-20Paper
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code2017-05-10Paper
Talking bananas: structural recursion for session types2017-05-10Paper
Conflation Confers Concurrency2016-08-17Paper
A Semantics for Propositions as Sessions2016-04-26Paper
Handlers in action2015-03-30Paper
A practical theory of language-integrated query2015-03-30Paper
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous2014-06-27Paper
The arrow calculus2010-03-17Paper
Extensional Rewriting with Sums2009-03-10Paper
Shrinking Reductions in SML.NET2007-10-23Paper
Typed Lambda Calculi and Applications2005-11-11Paper
Scoped Effects as Parameterized Algebraic TheoriesN/APaper

Research outcomes over time

This page was built for person: Sam Lindley

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2802453&oldid=6799090"
Powered by MediaWiki