Materials for my Google Tech Talk 2018
-
Updated
Dec 13, 2018 - OCaml
Materials for my Google Tech Talk 2018
a research programming language based on handlers
Tina, a programming language with typed algebraic effects and handlers.
Source code for the effect handlers website
Use cases of different effect handlers in Jetpack Compose
WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
an effect handler-oriented programming language
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
an encoding of affine effect handlers using pthreads
implementing generic count using undelimited continuations, delimited continuations, and effect handlers
Effect handlers in C++
A modular interpreter using effects and effect handlers
Supplementary code & data for "Section 11: Experiments" in the "Asymptotic Speedup via Effect Handlers" article
A simple app that demonstrates using derivedStateOf effect handler by comparing it to remember function
A summary of my activities during the past four years
Links: Linking Theory to Practice for the Web
Effect handlers using JS/TS Generators
Actually just three programming languages in a trenchcoat
WebAssembly specification, reference interpreter, and test suite.
Add a description, image, and links to the effect-handlers topic page so that developers can more easily learn about it.
To associate your repository with the effect-handlers topic, visit your repo's landing page and select "manage topics."