Sam Lindley

Available identifiers

zbMath Open lindley.samMaRDI QIDQ2802453

List of research outcomes

Publication	Date of Publication	Type
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
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code	2017-05-10	Paper
Talking bananas: structural recursion for session types	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sam Lindley