research
∙
06/02/2023
A fixed point theorem for COFEs
A new fixed point principle for complete ordered families of equivalence...
share
research
∙
04/01/2021
Retrofitting Effect Handlers onto OCaml
Effect handlers have been gathering momentum as a mechanism for modular ...
research
∙
06/18/2020
The Only Undoable CRDTs are Counters
In comparing well-known CRDTs representing sets that can grow and shrink...
research
∙
05/21/2020
Repairing and Mechanising the JavaScript Relaxed Memory Model
Modern JavaScript includes the SharedArrayBuffer feature, which provides...
research
∙
04/24/2020
Retrofitting Parallelism onto OCaml
OCaml is an industrial-strength, multi-paradigm programming language, wi...
research
∙
05/16/2019