Login / Signup
MSFP@FSCD
2018
2018
2018
Keyphrases
Publications
2018
Exequiel Rivas
Relating Idioms, Arrows and Monads from Monoidal Adjunctions.
MSFP@FSCD
(2018)
Jules Hedges
Backward induction for repeated games.
MSFP@FSCD
(2018)
Conor McBride
Everybody's Got To Be Somewhere.
MSFP@FSCD
(2018)
Jeremy Pope
Formalizing Constructive Quantifier Elimination in Agda.
MSFP@FSCD
(2018)
volume 275, 2018
Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, MSFP@FSCD 2018, Oxford, UK, 8th July 2018.
MSFP@FSCD
275 (2018)