Search results
Appearance
There is a page named "Talk:Eugenio Moggi" on Wikipedia
- 150 bytes (0 words) - 08:32, 6 February 2024
- semantics: a few examples might include Sam Abramsky, Andrew Pitts, Eugenio Moggi, Achim Jung, and Giuseppe Rosolini. This survey paper on denotational...44 KB (6,190 words) - 16:09, 17 October 2019
- monad by Eugenio Moggi. Moggi proposed a method of implementation of language with modularity in the monads theory. For example, Eugenio Moggi (1989),...88 KB (13,219 words) - 14:29, 8 January 2022
- be free of side effects and independent of its environment."); so do Eugenio Moggi (Notions of computation as monads: "We give few notions of computation