No-Go Theorems for Distributive Laws
(2022)
Journal Article
Zwart, M., & Marsden, D. (2022). No-Go Theorems for Distributive Laws. Logical Methods in Computer Science, 18(1), https://doi.org/10.46298/LMCS-18%281%3A13%292022
Monads are commonplace in computer science, and can be composed using Beck's distributive laws. Unfortunately, finding distributive laws can be extremely difficult and error-prone. The literature contains some general principles for constructing dist... Read More about No-Go Theorems for Distributive Laws.