( en | de | ru )

 

Disambiguation of "Moggi, Eugenio"

Author of the publication

copydeleteadd this publication to your clipboard
Multi-Stage Imperative Languages: A Conservative Extension Result.

, and . SAIG, volume 1924 of Lecture Notes in Computer Science, page 92-107. 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 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)System Analysis and Robustness., , and . ICTCS, volume 2504 of CEUR Workshop Proceedings, page 1-7. CEUR-WS.org, (2019)A Monadic Multi-stage Metalanguage., and . FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 358-374. Springer, (2003)An Idealized MetaML: Simpler, and More Expressive., , , and . ESOP, volume 1576 of Lecture Notes in Computer Science, page 193-207. Springer, (1999)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)Monadic Encapsulation of Effects: a Revised Approach., and . HOOTS, volume 26 of Electronic Notes in Theoretical Computer Science, page 121. Elsevier, (1999)ML-Like Inference for Classifiers., , and . ESOP, volume 2986 of Lecture Notes in Computer Science, page 79-93. Springer, (2004)