University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Semantics of monad transformers

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Semantics of monad transformers

Download to your calendar using vCal

If you have a question about this talk, please contact Nathanael Arkor .

Monad transformers are the idiomatic way of composing computational effects in pure functional languages—for example, we use them to represent computations that are both stateful and possibly failing. Surprisingly little has been written about their categorical interpretation outside of work by Mauro Jaskelioff. In this talk I will talk about the concept of monoid transformers (due to Jaskelioff and Moggi) and how they subsume monad transformers. Familiarity with monads and monoidal categories is assumed.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Women in AI Cambridge University Engineering Department, LR5 Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon

Other talks

Discovery Investigations: Science, Empire and the Making of the British South Atlantic Title to be confirmed Topology of the Ritz energy landscape Reproducibility In Astrophysical Simulations: The AGORA Initiative and a 14-Year Human Experiment (In Memory of Joel Primack) Washing machines and their rare components: lessons from kidney patients RNA-Mediated Regulation of Germinal Centre B-Cell Fitness: a tale of two DEAD-box RNA helicases
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity