IRIS

MOGGI, EUGENIO

MOGGI, EUGENIO  

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

Mostra records
Risultati 1 - 20 di 27 (tempo di esecuzione: 0.016 secondi).
Titolo Data di pubblicazione Autore(i) File
A categorical account of two-level languages 1-gen-1997 Moggi, Eugenio
A Category-theoretic Account of Program Modules 1-gen-1989 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 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.
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 idealized MetaML: Simpler, and more expressive 1-gen-1999 Moggi, Eugenio; Taha, W.; Benaissa, Z. E. A.; Sheard, T.
Closed types as a simple approach to safe imperative multi-stage programming 1-gen-2000 Calcagno, C.; Moggi, Eugenio; Taha, W.
Computational Lambda-Calculus and Monads 1-gen-1989 Moggi, Eugenio
Functor categories and two-level languages 1-gen-1998 Moggi, Eugenio
Functorial ML 1-gen-1996 G., Belle`; C. B., Jay; Moggi, Eugenio
Global Types and Network Services 1-gen-2001 Ferrari, G.; Moggi, Eugenio; Pugliese, R.
Guardians for Ambient-based Monitoring 1-gen-2002 Ferrari, G.; Moggi, Eugenio; Pugliese, R.
Higher-Order Modules and the Phase Distinction 1-gen-1990 R., Harper; J. C., Mitchell; Moggi, Eugenio
Higher-Order Types and Meta-Programming for Global Computing 1-gen-2002 Ferrari, G.; Moggi, Eugenio; Pugliese, R.
MetaKLAIM: meta-programming for global computing (position paper) 1-gen-2001 Ferrari, G.; Moggi, Eugenio; Pugliese, R.
Mixin modules and computational effects 1-gen-2003 Ancona, Davide; Fagorzi, S.; Moggi, Eugenio; Zucca, Elena
ML-like inference for classifiers 1-gen-2004 Calcagno, C.; Moggi, Eugenio; Taha, W.