( en | de | ru )

 

Disambiguation of "Moggi, Eugenio"

Author of the publication

copydeleteadd this publication to your clipboard
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.

, , and . ICALP, volume 1853 of Lecture Notes in Computer Science, page 25-36. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Franz Moggi

Eugenio Rivera

Eugenio Fava

Eugenio Amato

Eugenio Polito

 

Other publications of authors with the same name

Categories of Partial Morphisms and the lambdap - Calculus.. CTCS, volume 240 of Lecture Notes in Computer Science, page 242-251. Springer, (1985)A Monadic Multi-stage Metalanguage., and . FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 358-374. Springer, (2003)System Analysis and Robustness., , and . ICTCS, volume 2504 of CEUR Workshop Proceedings, page 1-7. CEUR-WS.org, (2019)A Category-theoretic Account of Program Modules.. Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, page 101-117. Springer, (1989)Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II)., and . Semantics of Data Types, volume 173 of Lecture Notes in Computer Science, page 235-255. Springer, (1984)Monadic Encapsulation of Effects: a Revised Approach., and . HOOTS, volume 26 of Electronic Notes in Theoretical Computer Science, page 121. Elsevier, (1999)Acumen: An Open-Source Testbed for Cyber-Physical Systems Research., , , , , , , , , and 14 other author(s). IoT 360 (1), volume 169 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 118-130. (2015)Mixin Modules and Computational Effects., , , and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 224-238. Springer, (2003)A Semantic Account of Rigorous Simulation., , , and . Principles of Modeling, volume 10760 of Lecture Notes in Computer Science, page 223-239. Springer, (2018)An Idealized MetaML: Simpler, and More Expressive., , , and . ESOP, volume 1576 of Lecture Notes in Computer Science, page 193-207. Springer, (1999)