2014-03-19: Guillaume Allais (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Guillaume Allais (MSP)

The selection monad transformer

Abstract

Guillaume presented parts of Hedges' paper Monad transformers for backtracking search (accepted to MSFP 2014). The paper extends Escardo and Oliva's work on the selection and continuation monads to the corresponding monad transformers, with applications to backtracking search and game theory.

2014-03-19 11:00:00 UTC
LT1310