Searching for authors named "Eugenio Moggi" – sorted by Relevance.
36 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
