- Perche' Frances E. Allen ha vinto la Turing Award 2006?
- GDP Festschrift ENTCS, to appear Structuring Operational Semantics
- Program Generation and Components D.Ancona, E.Moggi
- Under consideration for publication in J. Functional Programming 1 Closed Types for a Safe Imperative MetaML
- F-WAN 2002 Preliminary Version Guardians for Ambient-Based Monitoring
- Electronic Notes in Theoretical Computer Science 54 (2002) URL: http://www.elsevier.nl/locate/entcs/volume54.html 15 pages
- Monads and E ects Nick Benton1
- Monads, Shapely Functors and Traversals , G. Bell`e a
- A Categorical Analysis of Multi-Level Languages (Extended Abstract) Zine El-Abidine Benaissa(1), Eugenio Moggi(2), Walid Taha(1), Tim Sheard(1)
- Typed intermediate languages for shape-analysis G. Bell`e and E. Moggi
- A Fully-Abstract Model for the -calculus (Extended Abstract)
- , C.B. Jay1 and E. Moggi2
- Representing Program Logics in Evaluation Logic Eugenio Moggi
- A General Semantics for Evaluation Logic Eugenio Moggi
- A category-theoretic account of program Eugenio Moggi
- Notions of computation and monads Eugenio Moggi
- Higher-Order Modules and the Phase Distinction Robert Harper
- Symposium for Gordon Plotkin Edinburgh 07-08/09/2006
- Theoretical Informatics and Applications Will be set by the publisher Informatique Theorique et Applications
- A General Semantics for Evaluation Logic Eugenio Moggi
- J. Functional Programming 1 (1): 1000, January 1993 c 1993 Cambridge University Press 1 Monadic Encapsulation of Effects
- A categorical semantics of MetaML Eugenio Moggi
- Arity Polymorphism and Dependent Types Eugenio Moggi (DISI, Univ. of Genova, Italy)
- Monad Transformers as Monoid Transformers Mauro Jaskelioff
- Mixin Modules and Computational Effects D.Ancona, S.Fagorzi, E.Moggi, E.Zucca
- Computational lambda-calculus and monads Eugenio Moggi
- VALUTAZIONE COMPARATIVA, PER TITOLI ED ESAMI, FINALIZZATA AL CONFERIMENTO DI N. 1 ASSEGNO A TEMPO DETERMINATO PER LA COLLABORAZIONE ALL'ATTIVIT DI RICERCA
- The S-replete construction J.M.E. Hyland
- An Abstract Monadic Semantics for Value Recursion Eugenio Moggi
- Electronic Notes in Theoretical Computer Science 62 (2002) URL: http://www.elsevier.nl/locate/entcs/volume62.html 17 pages
- Informatics Roeterstraat
- J. Functional Programming 1 (1): 1000, January 1998. Printed in the United Kingdom c 1998 Cambridge University Press
- ML-like Inference for Classifiers Cristiano Calcagno1
- Under consideration for publication in Math. Struct. in Comp. Science MetaKlaim: A Type Safe Multi-stage
- Metalanguages and Applications Eugenio Moggi
- Meta-Programming for Global Computing (Position Paper)
- A Semantics for Evaluation Logic (extended version)
- mobi14/varie/valuta.doc VALUTAZIONE COMPARATIVA, PER TITOLI ED ESAMI, FINALIZZATA AL CONFERIMENTO DI N. 1
- !#" $%&')(01#'2345'768'9$@ACBD'EFHGI'%$@ PQ@RASUT7VXW`YaWARRV
- Monadic Encapsulation of Effects: a Revised Approach (Extended Version)
- !#"%$'& (0)120345768@9BAC(DE9!FG)HI PRQ5SUTDVQ5WYXa`cb dfehgaiqpsrtXvuwX5gagar xyX1Q5bTSirtWyiqS
- An Idealized MetaML: Simpler, and More Expressive
- Logical Modalities and Multi-Stage Programming Zine El-Abidine Benaissa
- Teoria delle Categorie Scuola Estiva di Logica
- Perch`e Frances E. Allen ha vinto la Turing Award 2006?
- A note on SDT in Filter Spaces Working Draft
- Curriculum Vitae Eugenio Moggi
- CLICS II Categorical Logic in Computer Science II
- ____|||||||||||||| Testi delle prove scritte degli esami di *||||||||||||||||||||||||||o__||||||||__||_||||_||o||||||_|||o|||||||||o_||_||*
- Il giorno 26 Novembre 1988 alle ore 14.00 presso DISI Via Dodecaneso 35 16146 Genova ha avuto luogo la prima riunione della Commissione giudicatrice per il
- The Klaim Project: Theory and Practice Lorenzo Bettini1
- A Syntactic Approach to Modularity in Denotational Pietro Cenciarelli
- CLICS II Categorical Logic in Computer Science II
- CLICS II Categorical Logic in Computer Science II
- Progetto di ricerca di ateneo -1997-98 Rendiconto 1997
- A Proposal for ESPRIT Basic Research Action on
- CLICS II Categorical Logic in Computer Science II
- List of papers produced by CLICS-II in year 3 This document lists all papers written by CLICS-II members, which were cited in
- List of papers produced by CLICS-II in year 2 This document lists all papers written by CLICS-II members, which were cited in*
- |||||||||||||||||||||||||||||||||||||||||o__||||_|||o||||||||||_||||_Dipartimen* *to di Informatica e Scienze dell'Informazione
- Progetto di ricerca di ateneo -1999 Eugenio Moggi
- A Fresh Calculus for Name Management D.Ancona, E.Moggi
- !#" $&%(')$1021343560879&60A@BC0ADFE GIHFPRQTS#UWVYX`VPRPaU
- CLICS II Categorical Logic in Computer Science II
- Teoria degli Algoritmi e Calcolabilita' Eugenio Moggi (stanza 229 tel. 353 6629)
- Progetto di ricerca di ateneo -1997-98 Eugenio Moggi
- Theoretical Informatics and Applications Will be set by the publisher Informatique Theorique et Applications
