Serrano Mena A. (ed.) The Book of Monads: Master the theory and practice of monads, applied to solve real world problems

LC Press, 2018. — 280 p.This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs.
The Laws of Programming Unify Process Calculi.
The Geometry of Synthesis: How to Make Hardware Out of Software.
Scheduler-Independent Declassification.
Elementary Probability Theory in the Eindhoven Style.
Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of Ultimately Periodic Clocks in Lucy-n.
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications.
Calculating Graph Algorithms for Dominance and Shortest Path.
First-Past-the-Post Games.
Reverse Exchange for Concurrency and Local Reasoning.
Unifying Correctness Statements.
Dependently Typed Programming Based on Automated Theorem Proving.
An Algebraic Calculus of Database Preferences.
Modular Tree Automata.
Constructing Applicative Functors.
Kan Extensions for Program Optimization Or: Art and Dan Explain an Old Trick.