The following pages link to Eugenio Moggi (Q615954):
Displaying 17 items.
- Monad transformers as monoid transformers (Q615955) (← links)
- Notions of computation and monads (Q757075) (← links)
- Kripke-style models for typed lambda calculus (Q804559) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- Partial morphisms in categories of effective objects (Q1109126) (← links)
- (Q1400719) (redirect page) (← links)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- Safe \& robust reachability analysis of hybrid systems (Q1786614) (← links)
- (Q2754131) (← links)
- Structuring Operational Semantics: Simplification and Computation (Q2864160) (← links)
- (Q3024897) (← links)
- Monadic encapsulation of effects: a revised approach (extended version) (Q3150208) (← links)
- (Q3202991) (← 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)
