Koka language compiler and interpreter

Multicore OCaml

A collaborative bibliography of work related to the theory and practice of computational effects

A fast, flexible, fused effect system for Haskell

Manage side-effects in your javascript application cleanly with algebraic effects

Effortlessly composable structured concurrency primitive for JavaScript

Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.

📐Let there be algebraic effects in JS

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

Algebraic effects in Ruby

Algebraic effects for Ruby

A research language with effect handlers and lightweight effect polymorphism

A delightful Lisp for JavaScript

Computational environments and effects for TypeScript

An attempt to explain React Suspense to myself.

ONE-SHOT Algebraic Effects for Lua!

An experiment towards a UI programming model inspired by algebraic effects.

Tiny goodies for Continuation-Passing-Style functions (OLDER VERSION), use instead the NEWER `cpsfy`

ONE-SHOT Algebraic Effects for Ruby!

WebAssembly specification, reference interpreter, and test suite with effect handlers extension.

Algebraic Effects in Javascript

A reasonable programming framework.

Masters Thesis, University of Oxford. Research project combining Calculating Compilers and Algebraic Effects using Haskell, supervised by Jeremy Gibbons. Presented work at the International Conference on Functional Programming Student Research Competition and the 7th South of England Regional Programming Languages Seminar.

Extensible Effects in typescript

Delimited-continuation-based effects for Racket

A readline-like effect and carrier for fused-effects using haskeline

This is my research on computational effects.

Talk about Leijen's "Type Directed Compilation of Row-Typed Algebraic Effects"

Parsing w/ fused-effects inspired by trifecta

A summary of my activities during the past four years