research
∙
08/16/2023
Continuing WebAssembly with Effect Handlers
WebAssembly (Wasm) is a low-level portable code format offering near nat...
share
research
∙
03/28/2022
Certified Mergeable Replicated Data Types
Replicated data types (RDTs) are data structures that permit concurrent ...
research
∙
04/01/2021
Retrofitting Effect Handlers onto OCaml
Effect handlers have been gathering momentum as a mechanism for modular ...
research
∙
04/24/2020
Retrofitting Parallelism onto OCaml
OCaml is an industrial-strength, multi-paradigm programming language, wi...
research
∙
12/31/2018