Pinned Repositories
Abstract-AD
Abstract Automatic Differentiation
ad-prolog-code
Forward-Reverse
Forward or Reverse Mode Automatic Differentiation: What's the Difference?
functional-possible-worlds
higher-order-effects
Latent-Effect-and-Handlers
Source code accompanying "Latent Effects for Reusable Language Components"
staged-effects.agda
Artefact supporting our PEPM21 short paper submission
Structured-Handling-of-Scoped-Effects
Type_Inference_PHiDI
what-the-mask-android
Where in Flanders is a face mask obligatory? This app warns you when you enter or leave a face mask zone • Android application
birthevdb's Repositories
birthevdb/Latent-Effect-and-Handlers
Source code accompanying "Latent Effects for Reusable Language Components"
birthevdb/Abstract-AD
Abstract Automatic Differentiation
birthevdb/Type_Inference_PHiDI
birthevdb/ad-prolog-code
birthevdb/functional-possible-worlds
birthevdb/Forward-Reverse
Forward or Reverse Mode Automatic Differentiation: What's the Difference?
birthevdb/Structured-Handling-of-Scoped-Effects
birthevdb/higher-order-effects
birthevdb/staged-effects.agda
Artefact supporting our PEPM21 short paper submission