3 papers
cs.PL2025
Unraveling the iterative CHAD
Fernando Lucatelli Nunes, Gordon Plotkin, Matthijs Vákár
Combinatory Homomorphic Automatic Differentiation (CHAD) was originally formulated as a semantics-driven source-to-source transformation for reverse-mode AD of total (terminating)…
cs.PL2025
Rod Bustall: In Memoriam
J Strother Moore, Gordon Plotkin, David Rydeheard +1
This is an obituary of Rod Burstall, written in his honour. Rod was a prominent computer scientist whose contributions span over forty years. Most of his career was spent at Edinbu…
cs.PL2025
Handling the Selection Monad (Full Version)
Gordon Plotkin, Ningning Xie
The selection monad on a set consists of selection functions. These select an element from the set, based on a loss (dually, reward) function giving the loss resulting from a choic…