MOGGI, EUGENIO
MOGGI, EUGENIO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A category-theoretic account of program modules
1991-01-01 Moggi, Eugenio
A Category-Theoretic Characterization of Functional Completeness
1990-01-01 G., Longo; Moggi, Eugenio
A fully-abstract model for the pi-calculus (extended version)
2002-01-01 Fiore, M.; Moggi, Eugenio; Sangiorgi, D.
A Semantics for Evaluation Logic
1995-01-01 Moggi, Eugenio
An abstract monadic semantics for value recursion
2004-01-01 Moggi, Eugenio; Sabry, A.
Closed types for safe imperative MetaML
2003-01-01 Calcagno, C.; Moggi, Eugenio; Sheard, T.
Constructive Natural Deduction and its `Omega-Set' Interpretation
1991-01-01 G., Longo; Moggi, Eugenio
Domains and Denotational Semantics: History, Accomplishments and Open Problems
1996-01-01 Fiore, M. P.; Jung, A.; Moggi, Eugenio; O'Hearn, P.; Riecke, J.; Rosolini, Giuseppe
Functorial ML
1998-01-01 Jay, B.; Belle\', G.; Moggi, Eugenio
Kripke-Style Models for Typed lambda Calculus
1991-01-01 J. C., Mitchell; Moggi, Eugenio
MetaKlaim: a Type Safe Multi-stage Language for Global Computing
2004-01-01 G., Ferrari; Moggi, Eugenio; R., Pugliese
Monad Transformers as Monoid Transformers
2010-01-01 Jaskelioff, M; Moggi, Eugenio
Monadic encapsulation of effects: a revised approach (extended version)
2001-01-01 Moggi, Eugenio; Sabry, A.
Notions of computation and monads
1991-01-01 Moggi, Eugenio
Robustness, Scott continuity, and computability
2023-01-01 Farjudian, A.; Moggi, E.
Safe & robust reachability analysis of hybrid systems
2018-01-01 Moggi, Eugenio; Farjudian, Amin; Duracz, Adam; Taha, Walid
Sound Over-Approximation of Probabilities
2020-01-01 Moggi, Eugenio; Taha, Walid; Thunberg, Johan
Structuring Operational Semantics: Simplification and Computation
2007-01-01 Moggi, Eugenio