15 citations · 18 across the 3 of their papers we have counts for
3 papers
math.CT2019★ 2 cited
From open learners to open games
Jules Hedges
The categories of open learners (due to Fong, Spivak and Tuyéras) and open games (due to the present author, Ghani, Winschel and Zahn) bear a very striking and unexpected similarit…
cs.LO2014★ 1 cited
A Higher-order Framework for Decision Problems and Games
Jules Hedges, Paulo Oliva, Evguenia Winschel +2
We introduce a new unified framework for modelling both decision problems and finite games based on quantifiers and selection functions. We show that the canonical utility maximisa…
cs.PL2014★ 15 cited
Monad Transformers for Backtracking Search
Jules Hedges
This paper extends Escardo and Oliva's selection monad to the selection monad transformer, a general monadic framework for expressing backtracking search algorithms in Haskell. The…