no code implementations • 28 Nov 2023 • Dumitru Potop Butucaru, Albert Cohen, Gordon Plotkin, Hugo Pompougnac
Reactive languages are dedicated to the programming of systems which interact continuously and concurrently with their environment.
no code implementations • 17 Jul 2020 • Martin Abadi, Gordon Plotkin
We define two small languages that support decision-making abstractions: one with choices and rewards, and the other additionally with probabilities.