personal page
institute page
Wikipedia entry
Introducing what came to be known as do-notation for Kleisli composition of effectful programs via monads in computer science:
Created on August 28, 2023 at 07:55:36. See the history of this page for a list of all contributions to it.