Write call-time choice modelled in Coq chapter
-
Non-Strictly Positive Occurrence -
Containers -
First-Order Containers -
Modelling Functors as Containers (choice effect)
-
-
Modelling Effects -
Infrastructure (comb effect) -
Combining Effects -
Monad Operations
-
-
State Effect (+handler) -
Translating Recursive Functions
-
-
Sharing -
Laws of Sharing? -
Examples
Edited by Niels Bunkenburg