esslli2015-monads
Monads and Natural Language
1.
Introduction
2.
Lambdas, Types, Haskell
3.
Monads, Getting Started
3.1.
Effects
3.2.
Laws
4.
Monads, First Examples
4.1.
Maybe
4.2.
List
4.3.
Reader
4.4.
Writer
4.5.
State
4.6.
In Haskell
5.
GSV, A First Fragment
5.1.
Combining State and Modality
6.
State and Alternatives: Dynamic Semantics
6.1.
Combining Effects
6.2.
Transformers
6.3.
Charlow 2015
7.
Continuations
7.1.
Continuations for Scope
7.2.
Continuations for Layered Effects
Powered by
GitBook
A
A
Serif
Sans
White
Sepia
Night
Share on Twitter
Share on Google
Share on Facebook
Share on Weibo
Share on Instapaper
esslli2015-monads
State and Alternatives: Dynamic Semantics