November 2017
Intermediate to advanced
670 pages
17h 35m
English

In 1991, Eugenio Moggi wrote Notions of computation and monads, which introduced the concept of categorical semantics of computation in order to understand features in new programming languages. Languages often add new features to solve particular problems, but the features are rarely specified carefully in a formal way. In order to understand programs written in these languages, we need a framework to help us understand ...