birthevdb

Latent-Effect-and-Handlers

Source code accompanying "Latent Effects for Reusable Language Components"

Abstract-AD

Abstract Automatic Differentiation

Type_Inference_PHiDI

functional-possible-worlds

ad-prolog-code

Forward-Reverse

Forward or Reverse Mode Automatic Differentiation: What's the Difference?

Structured-Handling-of-Scoped-Effects

higher-order-effects

staged-effects.agda

Artefact supporting our PEPM21 short paper submission