University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Moggi's Monads

  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

Moggi's Monads

Download to your calendar using vCal

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

Monads are used in functional languages such as Haskell to explicitly separate effectful behaviour from pure behaviour. In this talk we explore the theoretical underpinnings of this idea, starting from Moggi’s ‘computational lambda calculus’ and showing how (strong) monads give a sound and complete semantics for the language. We will use some category theory, but the talk will be self-contained. If time permits, we shall see how monads arise in other parts of mathematics and theoretical computer science as models of algebraic constructions.

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

Faculty of Economics, Common Room, 4th floor Electrical Engineering, 9 JJ Thomson Avenue, Cambridge, CB3 0FA. Brown Library (English Faculty)Lecture Block, Room 5, Sidgwick Site

Other talks

The elephant in the room: Machine Learning directly into physical models Paediatric Medicine and Rheumatology Morning Break / Group Photo Christmas Social Evening & Annual General Meeting Title to be confirmed The spread of environmental cost-benefit analysis in UK government, c.1966-1995: representing the public in the Anthropocene
 

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