Concepedia

Sam Lindley

SL

33

Publications

1.4K

Citations

22

H-Index

2009

Active since

Affiliations

University of Edinburgh(Current)

University of Strathclyde

University of Cambridge

Imperial College London

University of Ljubljana

Sam Lindley is an author at University of Edinburgh specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

Publications per year

2009–2024

33

Publications

33

Handlers in action

Ohad Kammar, Sam Lindley, Nicolas Oury · 2013 · 128 citations

, , +15

Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code

Michel Steuwer, Christian Fensch, Sam Lindley et al. · 2015 · 119 citations · Full text

, , +24

Do be do be do

Sam Lindley, Conor McBride, Craig McLaughlin · 2016 · 92 citations

, , +12

A practical theory of language-integrated query

James Cheney, Sam Lindley, Philip Wadler · 2013 · 80 citations · Full text

, , +21

Liberating effects with rows and handlers

Daniel Hillerström, Sam Lindley · 2016 · 65 citations · Full text

, , +14

Rows per page

1–5 of 33