The following pages link to Eugenio Moggi (Q615954):
Displaying 7 items.
- Monad transformers as monoid transformers (Q615955) (← links)
- Notions of computation and monads (Q757075) (← links)
- Kripke-style models for typed lambda calculus (Q804559) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)
- A category-theoretic account of program modules (Q5096254) (← links)
- Sound Over-Approximation of Probabilities (Q5126106) (← links)
- Robustness, Scott continuity, and computability (Q6190407) (← links)
