IRIS
MOGGI, EUGENIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.724
Totale 4.724
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 4.724
Totale 4.724
Salva come PNG Salva come JPEG
Città #
Genova 3.945
Rapallo 414
Genoa 355
Bordighera 10
Totale 4.724
Salva come PNG Salva come JPEG
Nome #
Notions of computation and monads 147
A categorical account of two-level languages 141
Monad Transformers as Monoid Transformers 135
An abstract monadic semantics for value recursion 128
MetaKlaim: a Type Safe Multi-stage Language for Global Computing 126
Closed types for safe imperative MetaML 118
Program Generation and Components 118
A category-theoretic account of program modules 115
Kripke-Style Models for Typed lambda Calculus 113
A Semantic Account of Rigorous Simulation 113
A Monadic Multi-stage Metalanguage 113
An idealized MetaML: Simpler, and more expressive 112
Monads, Shapely Functors and Traversals 110
A Modular Approach to Denotational Semantics 110
Closed types as a simple approach to safe imperative multi-stage programming 110
A Fresh Calculus for Name Management 108
A Category-theoretic Account of Program Modules 107
Computational Lambda-Calculus and Monads 107
The Klaim Project: Theory and practice 106
Higher-Order Types and Meta-Programming for Global Computing 106
Functor categories and two-level languages 106
Higher-Order Modules and the Phase Distinction 103
Structuring Operational Semantics: Simplification and Computation 103
Global Types and Network Services 101
A General Semantics for Evaluation Logic 101
A Semantics for Evaluation Logic 100
Monadic encapsulation of effects: a revised approach (extended version) 100
Acumen: An open-source testbed for cyber-physical systems research 97
10th Italian Conference on Theoretical Computer Science, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings 96
Mixin modules and computational effects 96
Relating Models of Impredicative Type Theories 95
ML-like inference for classifiers 94
Guardians for Ambient-based Monitoring 89
Typed Intermediate Languages for Shape Analysis 87
System Analysis and Robustness 86
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings 83
Safe & robust reachability analysis of hybrid systems 82
A fully-abstract model for the pi-calculus (extended version) 81
A Category-Theoretic Characterization of Functional Completeness 77
Constructive Natural Deduction and its `Omega-Set' Interpretation 73
Domains and Denotational Semantics: History, Accomplishments and Open Problems 72
Functorial ML 68
The S-Replete Constuction 67
Monads and Effects 66
A Fully-Abstract Model for the pi-Calculus (Extended Abstract) 65
Perche' Frances E.Allen ha vinto la Turing Award 2006? 58
Functorial ML 57
MetaKLAIM: meta-programming for global computing (position paper) 54
Sound Over-Approximation of Probabilities 37
Robustness, Scott continuity, and computability 11
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad 5
Totale 4.753
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.192
article - articoli 4.261
book - libri 0
conference - conferenze 6.459
curatela - curatele 412
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.060
Totale 24.384
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019293 0 0 0 0 0 0 0 0 0 0 163 130
2019/20201.381 70 40 65 74 131 132 199 94 121 229 160 66
2020/2021362 26 27 38 22 11 26 41 27 47 38 27 32
2021/2022634 24 70 54 54 14 30 64 144 18 55 44 63
2022/2023525 60 41 6 43 101 99 2 42 88 4 28 11
2023/2024258 19 40 8 24 18 91 28 4 9 17 0 0
Totale 4.753