Searching for authors named "Eugenio Moggi" – sorted by Relevance.
-
A Cumulative Monadic Metalanguage
- A Cumulative Monadic Metalanguage Eugenio Moggi ∗ January 27, 2004 Abstract We introduce a monadic
- Add To MetaCart
-
A Note on SDT in Filter Spaces
- A note on SDT in Filter Spaces Working Draft Eugenio Moggi September 5, 1993 Introduction
- Add To MetaCart
-
Metalanguages and Applications
- Metalanguages and Applications Eugenio Moggi DISI, Univ. of Genova v. Dodecaneso 35, 16146
- Cited by 10 (3 self) – Add To MetaCart
-
Partial Morphisms in Categories of Effective Objects
- Partial morphisms in categories of eective objects Eugenio Moggi Laboratory for Foundations
- Cited by 2 (0 self) – Add To MetaCart
-
A Categorical Account of Two-Level Languages
- MFPS X111 (1997) ?? pages A categorical account of two-level languages Eugenio Moggi moggi
- Cited by 20 (5 self) – Add To MetaCart
-
A General Semantics for Evaluation Logic
- A General Semantics for Evaluation Logic Eugenio Moggi moggi@(email omitted); DISI, Univ. of Genova
- Cited by 18 (4 self) – Add To MetaCart
-
A Category-Theoretic Account of Program Modules
- A category-theoretic account of program modules Eugenio Moggi em@(email omitted); LFCS
- Cited by 24 (6 self) – Add To MetaCart
-
Computational Lambda-Calculus and Monads
- Computational lambda-calculus and monads Eugenio Moggi LFCS Dept. of Comp. Sci. University
- Cited by 346 (6 self) – Add To MetaCart
-
Notions of Computation and Monads
- Notions of computation and monads Eugenio Moggi Abstract The -calculus is considered an useful
- Cited by 556 (15 self) – Add To MetaCart
-
The Partial Lambda-Calculus
- The Partial Lambda-Calculus Eugenio Moggi Ph. D. University of Edinburgh Abstract This thesis
- Cited by 26 (4 self) – Add To MetaCart

