research
∙
05/13/2023
Automatic Differentiation in Prolog
Automatic differentiation (AD) is a range of algorithms to compute the n...
share
research
∙
04/19/2023
A Calculus for Scoped Effects Handlers
Algebraic effects handlers have become a standard approach for side-...
research
∙
02/02/2023
A Framework for Higher-Order Effects Handlers
Algebraic effects handlers are a modular approach for modeling side-...
research
∙
12/21/2022
Forward- or Reverse-Mode Automatic Differentiation: What's the Difference?
Automatic differentiation (AD) has been a topic of interest for research...
research
∙
01/25/2022
Structured Handling of Scoped Effects: Extended Version
Algebraic effects offer a versatile framework that covers a wide variety...
research
∙
08/25/2021
