Sam Lindley

Reader

University of Edinburgh

United Kingdom

Research Interests

Explore related searches

Professors in United Kingdom Professors in Computer Science Computer Science professors in United Kingdom

Contact this professor

ORCID

Google Scholar

Academic Page

About

Sam Lindley is a Reader at The University of Edinburgh, UK. His research areas include effect handlers, modal effect types, and their applications in programming languages, particularly with focus on WebAssembly and OCaml. Recent articles authored by him explore topics such as first-order laziness and the implications of scoped operations in computational theory.

Sam Lindley

Research Interests

Explore related searches

Contact this professor

About

Articles (18)

First-Order Laziness

Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories

Modal Effect Types

Soundly Handling Linearity

Oxidizing OCaml with Modal Memory Management

Bringing the WebAssembly Standard up to Speed with SpecTec

The Functional Essence of Imperative Binary Search Trees

Asymptotic speedup via effect handlers

Effect Handlers for C via Coroutines

Separating Sessions Smoothly

Continuing WebAssembly with Effect Handlers

Structural Subtyping as Parametric Polymorphism

High-level effect handlers in C++

Constraint-based type inference for FreezeML

Scalable Handling of Effects (Dagstuhl Seminar 21292)

A polymorphic RPC calculus

Effect handlers via generalised continuations

Effects for efficiency: asymptotic speedup with first-class control

Collaborators (5)

Michel Steuwer

Maciej Piróg

Ornela Dardha

J. Garrett Morris

Simon Fowler

How do I reach out?

Meet Kite AI