The following pages link to Sam Lindley (Q2802453):
Displaying 19 items.
- A Semantics for Propositions as Sessions (Q2802455) (← links)
- Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code (Q2981959) (← links)
- Talking bananas: structural recursion for session types (Q2985793) (← links)
- Conflation Confers Concurrency (Q3188279) (← links)
- Extensional Rewriting with Sums (Q3612636) (← links)
- (Q4608685) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- Doo bee doo bee doo (Q5110934) (← links)
- Continuation passing style for effect handlers (Q5111314) (← links)
- Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous (Q5166623) (← links)
- The arrow calculus (Q5189645) (← links)
- Handlers in action (Q5244797) (← links)
- A practical theory of language-integrated query (Q5244819) (← links)
- Do be do be do (Q5370884) (← links)
- Shrinking Reductions in SML.NET (Q5423549) (← links)
- Typed Lambda Calculi and Applications (Q5704015) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- Scoped Effects as Parameterized Algebraic Theories (Q6520403) (← links)
- Asymptotic speedup via effect handlers (Q6561531) (← links)
