4 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.PL2023
Automatic Differentiation in Prolog
Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi
Automatic differentiation (AD) is a range of algorithms to compute the numeric value of a function's (partial) derivative, where the function is typically given as a computer progr…
cs.PL2023★ 4 cited
A Framework for Higher-Order Effects & Handlers
Birthe van den Berg, Tom Schrijvers
Algebraic effects & handlers are a modular approach for modeling side-effects in functional programming. Their syntax is defined in terms of a signature of effectful operations, en…
cs.PL2022
Structured Handling of Scoped Effects: Extended Version
Zhixuan Yang, Marco Paviotti, Nicolas Wu +2
Algebraic effects offer a versatile framework that covers a wide variety of effects. However, the family of operations that delimit scopes are not algebraic and are usually modelle…