IRIS

MOGGI, EUGENIO

MOGGI, EUGENIO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 52 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autore(i) File
10th Italian Conference on Theoretical Computer Science, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings 1-gen-2007 Italiano, G. F.; Moggi, Eugenio
A categorical account of two-level languages 1-gen-1997 Moggi, Eugenio
A category-theoretic account of program modules 1-gen-1991 Moggi, Eugenio
A Category-theoretic Account of Program Modules 1-gen-1989 Moggi, Eugenio
A Category-Theoretic Characterization of Functional Completeness 1-gen-1990 G., Longo; Moggi, Eugenio
A Fresh Calculus for Name Management 1-gen-2004 Ancona, Davide; Moggi, Eugenio
A Fully-Abstract Model for the pi-Calculus (Extended Abstract) 1-gen-1996 M. P., Fiore; Moggi, Eugenio; D., Sangiorgi
A fully-abstract model for the pi-calculus (extended version) 1-gen-2002 Fiore, M.; Moggi, Eugenio; Sangiorgi, D.
A General Semantics for Evaluation Logic 1-gen-1994 Moggi, Eugenio
A Modular Approach to Denotational Semantics 1-gen-1991 Moggi, Eugenio
A Monadic Multi-stage Metalanguage 1-gen-2003 Moggi, Eugenio; Fagorzi, S.
A Semantic Account of Rigorous Simulation 1-gen-2018 Duracz, Adam; Moggi, Eugenio; Taha, Walid; Lin, Zhenchao
A Semantics for Evaluation Logic 1-gen-1995 Moggi, Eugenio
Acumen: An open-source testbed for cyber-physical systems research 1-gen-2016 Taha, Walid; Duracz, Adam; Zeng, Yingfu; Atkinson, Kevin; Bartha, Ferenc A.; Brauner, Paul; Duracz, Jan; Xu, Fei; Cartwright, Robert; Koneä nã½, Michal; Moggi, Eugenio; Masood, Jawad; Andreasson, Pererik; Inoue, Jun; Santâ anna, Anita; Philippsen, Roland; Chapoutot, Alexandre; Oâ malley, Marcia; Ames, Aaron; Gaspes, Veronica; Hvatum, Lise; Mehta, Shyam; Eriksson, Henrik; Grante, Christian
An abstract monadic semantics for value recursion 1-gen-2004 Moggi, Eugenio; Sabry, A.
An idealized MetaML: Simpler, and more expressive 1-gen-1999 Moggi, Eugenio; Taha, W.; Benaissa, Z. E. A.; Sheard, T.
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings 1-gen-1997 Moggi, Eugenio; Rosolini, Giuseppe
Closed types as a simple approach to safe imperative multi-stage programming 1-gen-2000 Calcagno, C.; Moggi, Eugenio; Taha, W.
Closed types for safe imperative MetaML 1-gen-2003 Calcagno, C.; Moggi, Eugenio; Sheard, T.
Computational Lambda-Calculus and Monads 1-gen-1989 Moggi, Eugenio