4 papers · 1 filter
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…
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 automatic differentiation…
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…
Bidirectional Reactive Programming for Machine Learning
Dumitru Potop Butucaru, Albert Cohen, Gordon Plotkin +1
Reactive languages are dedicated to the programming of systems which interact continuously and concurrently with their environment. Values take the form of unbounded streams modeli…