E
Eugenio Moggi
Researcher at University of Genoa
Publications - 75
Citations - 4870
Eugenio Moggi is an academic researcher from University of Genoa. The author has contributed to research in topics: Semantics (computer science) & Operational semantics. The author has an hindex of 27, co-authored 74 publications receiving 4666 citations. Previous affiliations of Eugenio Moggi include University of Geneva & University of Cambridge.
Papers
More filters
Journal ArticleDOI
Notions of computation and monads
TL;DR: Calculi are introduced, based on a categorical semantics for computations, that provide a correct basis for proving equivalence of programs for a wide range of notions of computation.
Proceedings ArticleDOI
Computational lambda-calculus and monads
TL;DR: The author gives a calculus based on a categorical semantics for computations, which provides a correct basis for proving equivalence of programs, independent from any specific computational model.
Proceedings ArticleDOI
Higher-order modules and the phase distinction
TL;DR: This paper introduces a refinement of XML with a clear compile-time/run-time phase distinction, and a direct compile- time type checking algorithm, and enforces the phase distinction using a nonstandard equational theory for module and signature expressions.
Book ChapterDOI
Monads and Effects
TL;DR: The course presents typed metalanguages for monads and related categorical notions, and then describes how they can be further refined by introducing effects.
Book ChapterDOI
The Klaim project: Theory and practice
Lorenzo Bettini,Viviana Bono,Rocco De Nicola,Gian Luigi Ferrari,Daniele Gorla,Michele Loreti,Eugenio Moggi,Rosario Pugliese,Emilio Tuosto,Betti Venneri +9 more
TL;DR: A modal logic is presented that permits reasoning about behavioural properties of systems and various type systems that help in controlling agents movements and actions in Klaim.