Search filters

List of works by Sam Lindley

Bringing the WebAssembly Standard up to Speed with SpecTec

scientific article published on 20 June 2024

Continuing WebAssembly with Effect Handlers

scientific article published on 16 October 2023

Effect Handlers for C via Coroutines

scientific article published on 08 October 2024

High-level effect handlers in C++

scientific article published on 31 October 2022

Oxidizing OCaml with Modal Memory Management

scientific article published on 15 August 2024

Soundly Handling Linearity

scientific article published on 05 January 2024

Structural Subtyping as Parametric Polymorphism

scientific article published on 16 October 2023

Paulina is supported by:

About Paulina

Help